static const uint64_t in_inv[3111] = {
    0x3fe0000000000000, 0x3fe6a09e667f3bcd,
    0x3fe6a09e667f3bcd, 0xbfe6a09e667f3bcd,
    0x3fe6a09e667f3bcd, 0x3fe9c069e7fb267c,
    0xbfd3e12620253975, 0x3fe030292817763e,
    0x3fe030292817763e, 0x3fe9c069e7fb267c,
    0xbfd3e12620253975, 0xbfd3e12620253975,
    0x3fe030292817763e, 0x3fe9c069e7fb267c,
    0x3fea811b1d92b7fe, 0x3fd59c66d373affb,
    0x3fe20f861a60d456, 0x3fe276af89c5e6ff,
    0x3fd9d0a244630660, 0x3fd7a47a9e2bcf92,
    0x3fe31f70de8f6cf0, 0x3fdbf09d8c6d612c,
    0x3fe911f4f50a02b8, 0x3fd5566cf41f212d,
    0x3fe0d05f28848388, 0x3fb5f8012dfd694d,
    0x3fd513b5bf6a0dbb, 0x3fd9739f340d4dc6,
    0x3fc0678c0053e2d6, 0x3fe8cf8f8a4c1ebd,
    0x3fef507c84b5dcc6, 0x3fd51ee675147f13,
    0x3fee74be835dedf2, 0x3fd3841248d7e026,
    0x3fed9693c03bc4d2, 0x3fe0106cca2db61c,
    0x3fce1bc98a222d51, 0x3fc7b85e80bed741,
    0x3fddfddebd9018e7, 0x3fee929ed3953dea,
    0x3fef120c069e7fb2, 0x3fe4657d9dba908a,
    0x3fe3d58c8eef1bac, 0x3febc692f6e8294a,
    0x3fd860b2c83ec893, 0x3fe914141e9af5ba,
    0x3febb445ed4a1ad6, 0x3feca72862f5989e,
    0x3feabbbc6eb0b7c3, 0x3feb5f06f6944674,
    0x3fd9d2e946801712, 0x3fe489eba6aca793,
    0x3faea80064a9cdc4, 0x3fe407789a459104,
    0x3fa1790aadd8ebbf, 0x3fb6248af9c3a5dd,
    0x3fdeec0f88333fc8, 0x3fe45aea3161a1dc,
    0x3fc6e88df37329c3, 0x3fcd2157689ca18c,
    0x3fb3317d508db70d, 0x3fd84c660a201472,
    0x3fedfe047d3d4281, 0x3feab25b317efe0d,
    0x3fc0ed99cbee807c, 0x3fd421af7d30ad47,
    0x3fdd3bddfc9ff92f, 0x3feffb97bb730835,
    0x3fecf0867ad8e432, 0x3fbc3b81b64e0547,
    0x3fd85989df1172ef, 0x3fe0f31098d477bc,
    0x3fc9cf3dc054ef46, 0x3fddf7f8ca8198f2,
    0x3fdd138fffbce421, 0x3fd776ff3ade2260,
    0x3faa1e71044f1a1a, 0x3fc86cb10342aa9f,
    0x3fe444da9003eea2, 0x3fd953dea465a576,
    0x3fe3f6273929ed39, 0x3fec556084a515cf,
    0x3fee886594af4f0e, 0x3fd3dd54da4ce810,
    0x3fd07b8d3f1843c4, 0x3fe434a44c7b02d6,
    0x3fdb2adc4c9c90c5, 0x3fc0c2ce4649906d,
    0x3fe999439de481f5, 0x3fc11cda2b5a20de,
    0x3fdeaf640639d5e5, 0x3fe09dba908a265f,
    0x3fd862f166e008ea, 0x3fe3c230fcf80dc3,
    0x3fe7f1da37ef5a96, 0x3fc2cf0f9d2bf551,
    0x3fedb9eadd590c0b, 0x3fdb947496aad1d0,
    0x3fe0433b5393250b, 0x3fea875b3e1437c5,
    0x3fd6e9ea14057082, 0x3feffbe9856a37ac,
    0x3feb4332f01754b0, 0x3fd1877ee4e26d48,
    0x3fe5f2e05ccc89b1, 0x3fa65ac2c4354e96,
    0x3fd2e4c0df58c08b, 0x3fddedfe75bc44bf,
    0x3faa65a3c8c7848e, 0x3fcaed6777079e5a,
    0x3fe3706f69446738, 0x3fe23fdb4cc25072,
    0x3fd1fdb09a671ef3, 0x3fef55c31593e5fb,
    0x3fb8449c11431e63, 0x3fd46ac215b9a5a9,
    0x3fd97f77af64063a, 0x3fd665a14488c60d,
    0x3fe6b8561d4306e6, 0x3fdb9f4906034f40,
    0x3fdca671ef30a4e3, 0x3fb323ec6e52c3f2,
    0x3fad375c8d9f9054, 0x3fc533f42352eb5f,
    0x3fe8bd48cb4aec8d, 0x3fc160bf5d78811b,
    0x3fe6b2ce89656ef0, 0x3febf676ea422899,
    0x3fd2b60ae9680e06, 0x3f6097574a13ca62,
    0x3fd925f633ce63a6, 0x3fe0a556d19dece5,
    0x3fab09528f190d17, 0x3fe989118c197e56,
    0x3fe3a1c475e6362a, 0x3fe04f50a02b8412,
    0x3fa64ffff29406b3, 0x3fe8fa11a975afb0,
    0x3feebd1676640a6c, 0x3fe126351deefe50,
    0x3fcba9973d9ec700, 0x3fc12a737110e454,
    0x3fcce8f29d40ee07, 0x3fe82ff08893b7d8,
    0x3fd5cce5f7403dde, 0x3fe360780fdc1616,
    0x3fe1311e85fd04a3, 0x3fc26ce358298cc1,
    0x3fe602d59d55e6bc, 0x3fd12b841248d7e0,
    0x3fd8b90ea9e6eeb7, 0x3fd69b5a63f9a49c,
    0x3fe37d45a5fc7e6b, 0x3fedfb09203a322b,
    0x3fc73198288051ca, 0x3fe4a83d35eb7458,
    0x3fc1d052934acaff, 0x3fe4e52deca2552a,
    0x3fe49e215336deb9, 0x3fe53059641f6449,
    0x3feee410b630a915, 0x3fe04f5903a7546d,
    0x3fed769ec2ce464a, 0x3fdfede97d06bbdc,
    0x3fe1a05143bf7271, 0x3f22f7ba9d5b8141,
    0x3fd9b40f66a55087, 0x3fc9d230b9dc2f40,
    0x3fc6321a2e7f6f4c, 0x3fea387df5cf2496,
    0x3fe30ee8d10f51ad, 0x3fb85cb50cbca6e5,
    0x3fe9dbd944aa53fc, 0x3fed951c5c5718ec,
    0x3fd609e55c0fcb4f, 0x3fda1693c03bc4d2,
    0x3feba92e62131a8f, 0x3fd6017dae81882b,
    0x3fef1ecb31c219eb, 0x3fe9dd1e53a81dc1,
    0x3fe6eb0318b9346a, 0x3fda9728a6117721,
    0x3fe8d5970b49e01e, 0x3fb426103501698d,
    0x3fe2da9003eea20a, 0x3fe60dfdef8487ba,
    0x3fcbdd095af294dd, 0x3fdaa54c55432874,
    0x3fcc8626f60e0eb6, 0x3fac678c0053e2d6,
    0x3fcf25a250f84018, 0x3fe6f6c8b4395810,
    0x3fb66eb5c040cd50, 0x3fe59b5a63f9a49c,
    0x3fc24e831ad2135e, 0x3fe6df84cad57bc8,
    0x3fec73c925785f8d, 0x3fe1d9231c64ba95,
    0x3fde96ededaec4a4, 0x3fc96555c52e72da,
    0x3fa3343236b3f134, 0x3fef54fbdad7518b,
    0x3fe2ef262888b546, 0x3fd4027d88c1db01,
    0x3fe18114d2f5dbba, 0x3fe4e47dc37a3db4,
    0x3fc0df58c08b75ea, 0x3fea83d35eb7457c,
    0x3fb7870f535a1a28, 0x3fe09b6b2af14552,
    0x3fce558644523f68, 0x3fec34df04ddb552,
    0x3fdcf77292c49342, 0x3fee4d76ab5807ff,
    0x3fe2eb4a66559f6f, 0x3fcfb9841aac53b1,
    0x3fef4477ff151e75, 0x3fecbe707e175d14,
    0x3fe34d8dbcec84f9, 0x3fd2498c3b0c4589,
    0x3fd19717df19d66b, 0x3fe5976ddaceee0f,
    0x3fea5510d38cda6e, 0x3fe656323bbc6eb1,
    0x3fe6888b545c78a7, 0x3fe78c1b97353b4b,
    0x3fe6fed634549b63, 0x3fd61d25aab47410,
    0x3fd7de050374ff86, 0x3feffe28240b7803,
    0x3fcb62a5e785b5b7, 0x3fd247cb70ac3a86,
    0x3fbaa93f290abb45, 0x3fef78f25a250f84,
    0x3febcd5b6805a2d7, 0x3fb74d112acaaee5,
    0x3fe3756c93a71151, 0x3fe6a6bd6e8af816,
    0x3fdf2dadb8348f54, 0x3fee4face67d77fb,
    0x3fe58d4bad7d7c2d, 0x3fce6cfc829cfdd2,
    0x3feac56b441bb8c3, 0x3fcda3b9ae0c1765,
    0x3fd5a832b990afe6, 0x3fee83afb7e90ff9,
    0x3fdf1e03f705857b, 0x3fe211c087442c80,
    0x3fe1da31a4bdba0a, 0x3f718b98a4fcfa11,
    0x3fc226dce39b456b, 0x3fc3c58255b035bd,
    0x3fd4774eebf65dc0, 0x3fe58d64d7f0ed3e,
    0x3fe9e81450efdc9c, 0x3fe411ec918e325d,
    0x3fe6beb9e492bc30, 0x3fe16160d887ebf2,
    0x3f91dbc3e09500ae, 0x3fe3106034f3fd93,
    0x3fc96f8f041461b7, 0x3feebe4473cd5736,
    0x3fe8ec4c5974e65c, 0x3fe46ef5ec80c73b,
    0x3fee44f1a1986b9c, 0x3fd0260b2c83ec89,
    0x3fe766106ab14ec2, 0x3fbb79d909f1f14a,
    0x3fd03547e06961c3, 0x3fe679bbadc0980b,
    0x3fe0fa615a8deb10, 0x3fb1ba2d8dd7c478,
    0x3fc432ebe596c82e, 0x3f8630f99d0f6fe0,
    0x3f720d6645036a43, 0x3fd22bdc26dce39b,
    0x3fe50427418d690a, 0x3fd27efe0ce0b913,
    0x3fcad4aa10e02214, 0x3fe101d3aa369fcf,
    0x3fe21dc725c3dee8, 0x3fef292c49342678,
    0x3fd1e093532e7b3e, 0x3fc0681a9b8cb8e1,
    0x3fe442a023209678, 0x3fc07b784662bae0,
    0x3fe989a88ace24bc, 0x3fcfc0d2c386d2ed,
    0x3fc0f416bdb1a6d7, 0x3fee601bc98a222d,
    0x3fc5bb0e5e679464, 0x3febe41919ac7970,
    0x3fdc0f7fcfc3f812, 0x3fe814ea077036ca,
    0x3fcb48cb4aec8d5c, 0x3fe596ca46e08f21,
    0x3fc6ed56b00ffda4, 0x3feb9d495182a993,
    0x3fda52bd3c361134, 0x3fdd6a7ac81d3aa3,
    0x3fd011b1d92b7fe1, 0x3fc1165d3996fa83,
    0x3fd0e26916440f24, 0x3fd74cdfaca36199,
    0x3fbf210be9424e59, 0x3fee1e1f3a57eaa3,
    0x3fdca8c154c985f0, 0x3fe85d249e44fa05,
    0x3fe9e2da554b8bf0, 0x3fe30b220791c4b9,
    0x3f90469f20c21767, 0x3fbd4fbdad7518b1,
    0x3fc110129cbab64a, 0x3fa8a9f9632dccc2,
    0x3fee35cbff47735c, 0x3fc77bd8be7296f6,
    0x3fd59fdbd2fa0d78, 0x3fe44f440af1cb8a,
    0x3fe82cdc011d3672, 0x3fe7ce5710880d80,
    0x3fcb3df2a9d627bf, 0x3fdc24c8366516db,
    0x3fd36c8f75536934, 0x3fe753cddd6e04c0,
    0x3fdf47b24638c975, 0x3fd1ff10ecb74de0,
    0x3fe0869a4df47f99, 0x3fbca686e7e62dc7,
    0x3fefa0d9945b6c37, 0x3fd2a4c61d8622c4,
    0x3fe1298cc144028e, 0x3fd704039abf3387,
    0x3fed75be5d9e40c8, 0x3feb5b20b8066c2b,
    0x3febded4a1ad6452, 0x3febef86a098915c,
    0x3fea3139c94f69cb, 0x3fed109aed56b010,
    0x3fe7a9e6eeb70260, 0x3fd33419e30014f9,
    0x3fe874f0d844d014, 0x3fd9bb55ac03ff69,
    0x3fe222d948dc11e4, 0x3fd5ea465a57646b,
    0x3fe83910c2c5e2ce, 0x3fecd3e0bd44998d,
    0x3fd2bd33d29563aa, 0x3fef6075f6fd21ff,
    0x3fe71a500d5e8d54, 0x3fe11f51697f1f9b,
    0x3feed1b2e59af9ec, 0x3feaae514c22ee42,
    0x3fcb2cadddf43c7d, 0x3fed6a209aaa3ad2,
    0x3fe52116659d12cb, 0x3fb5a4e2a2f7e72d,
    0x3fdceb56fb8f57f7, 0x3feef7b395c42203,
    0x3fed9e518f3eccc4, 0x3fed5771001d5c31,
    0x3fb8e373017f5c01, 0x3feea704bc27631b,
    0x3fde9207d4e09785, 0x3fd59680e0653006,
    0x3fea67d9988d2a20, 0x3fe93779e9d0e992,
    0x3fdc5af6c69b5a64, 0x3fd956b873797460,
    0x3f9b8144383e34ef, 0x3fe3807dd4413554,
    0x3fd43a08398a6549, 0x3fe438088509bf9c,
    0x3fbe28240b780347, 0x3fd36e58a32f4491,
    0x3fc6cc1ca3a4b557, 0x3fcd7c5692b3cc4b,
    0x3fda008a697aeddd, 0x3fc2ae31d712a0ec,
    0x3fecd4b05b7cfe58, 0x3fe37fac1d29dc72,
    0x3fe440181e03f706, 0x3fc8205ff1d81f10,
    0x3fc3931ca7d6733f, 0x3f9ac3de10c1ef23,
    0x3fcc4e26d4801f75, 0x3fdad35a858793de,
    0x3fdd3a29c779a6b5, 0x3fd0fe0ce0b912dc,
    0x3fded6a593a2df93, 0x3fcca1dfb9389b52,
    0x3fe29cb039ef0f17, 0x3fdb33c60029f16b,
    0x3fd53be22e5de15d, 0x3fe06d45e9185cee,
    0x3fe6aa582dbe7f2c, 0x3fb978705425f202,
    0x3feabc05d52c16df, 0x3fb4b07b5d6e7020,
    0x3fdeae85b9e8c47a, 0x3fe966a550870111,
    0x3fec85d95dd4c76d, 0x3fd8b38d60a63305,
    0x3fc49bd8383ad9f1, 0x3fc4a4a05dd8f92b,
    0x3fd8ae9680e06530, 0x3fc573d9ec700043,
    0x3fe78548a9bcfd4c, 0x3fd42474538ef34d,
    0x3fd6ab042528ae75, 0x3fd4ca85caafbc1b,
    0x3fefdf090f733a8a, 0x3fd0ae9680e06530,
    0x3fc7a3a8e71476b0, 0x3fe98318b9346994,
    0x3fdb94dd72367e41, 0x3fd960242d05f288,
    0x3fec127f5e84f095, 0x3fd47a0f9096bb99,
    0x3fe673fb7a5f41af, 0x3fb047636be022eb,
    0x3fc3e889c1b54196, 0x3feac0420f6f08cc,
    0x3fd0503b81b64e05, 0x3fe7556084a515cf,
    0x3feda7ce0fc2eba2, 0x3fe567296f6512a9,
    0x3fc9fb58d1526d8b, 0x3fc7a5daf07bfe7e,
    0x3fe570a5efe93187, 0x3fed8af3e468cac5,
    0x3fbca0a0f4d7add1, 0x3fa4eaca0dd5ab99,
    0x3fef48a159817b96, 0x3fd143f1c75818c6,
    0x3fc9f676ea422899, 0x3fe15208e1501190,
    0x3fcbc70c996b7671, 0x3fc3354c122749f1,
    0x3fdbde9c0229a5ec, 0x3fa21e13107dfc85,
    0x3fc4de8f6cefed63, 0x3fe6a2ea0fd3b29a,
    0x3fa0e0d745cc92eb, 0x3fb8ad256798958e,
    0x3fe9031f03d145d8, 0x3fb4d553840b92db,
    0x3feb4e09784ec637, 0x3fd441b328b6d86f,
    0x3fcde963dc486ad3, 0x3ff0000000000000,
    0x0, 0x0,
    0x0, 0x0,
    0x0, 0x0,
    0x0, 0x0,
    0x0, 0x0,
    0x0, 0x0,
    0x0, 0x0,
    0x0, 0x0,
    0x3ff0000000000000, 0x0,
    0x0, 0x0,
    0x0, 0x0,
    0x0, 0x0,
    0x0, 0x0,
    0x0, 0x0,
    0x0, 0x0,
    0x0, 0x0,
    0x0, 0x3ff0000000000000,
    0x0, 0x0,
    0x0, 0x0,
    0x0, 0x0,
    0x0, 0x0,
    0x0, 0x0,
    0x0, 0x0,
    0x0, 0x0,
    0x0, 0x0,
    0x3ff0000000000000, 0x0,
    0x0, 0x0,
    0x0, 0x0,
    0x0, 0x0,
    0x0, 0x0,
    0x0, 0x0,
    0x0, 0x0,
    0x0, 0x0,
    0x0, 0x3ff0000000000000,
    0x0, 0x0,
    0x0, 0x0,
    0x0, 0x0,
    0x0, 0x0,
    0x0, 0x0,
    0x0, 0x0,
    0x0, 0x0,
    0x0, 0x0,
    0x3ff0000000000000, 0x0,
    0x0, 0x0,
    0x0, 0x0,
    0x0, 0x0,
    0x0, 0x0,
    0x0, 0x0,
    0x0, 0x0,
    0x0, 0x0,
    0x0, 0x3ff0000000000000,
    0x0, 0x0,
    0x0, 0x0,
    0x0, 0x0,
    0x0, 0x0,
    0x0, 0x0,
    0x0, 0x0,
    0x0, 0x0,
    0x0, 0x0,
    0x3ff0000000000000, 0x0,
    0x0, 0x0,
    0x0, 0x0,
    0x0, 0x0,
    0x0, 0x0,
    0x0, 0x0,
    0x0, 0x0,
    0x0, 0x0,
    0x0, 0x3ff0000000000000,
    0x0, 0x0,
    0x0, 0x0,
    0x0, 0x0,
    0x0, 0x0,
    0x0, 0x0,
    0x0, 0x0,
    0x0, 0x0,
    0x0, 0x0,
    0x3ff0000000000000, 0x0,
    0x0, 0x0,
    0x0, 0x0,
    0x0, 0x0,
    0x0, 0x0,
    0x0, 0x0,
    0x0, 0x0,
    0x0, 0x0,
    0x0, 0x3ff0000000000000,
    0x0, 0x0,
    0x0, 0x0,
    0x0, 0x0,
    0x0, 0x0,
    0x0, 0x0,
    0x0, 0x0,
    0x0, 0x0,
    0x0, 0x0,
    0x3ff0000000000000, 0x0,
    0x0, 0x0,
    0x0, 0x0,
    0x0, 0x0,
    0x0, 0x0,
    0x0, 0x0,
    0x0, 0x0,
    0x0, 0x0,
    0x0, 0x3ff0000000000000,
    0x0, 0x0,
    0x0, 0x0,
    0x0, 0x0,
    0x0, 0x0,
    0x0, 0x0,
    0x0, 0x0,
    0x0, 0x0,
    0x0, 0x0,
    0x3ff0000000000000, 0x0,
    0x0, 0x0,
    0x0, 0x0,
    0x0, 0x0,
    0x0, 0x0,
    0x0, 0x0,
    0x0, 0x0,
    0x0, 0x0,
    0x0, 0x3ff0000000000000,
    0x0, 0x0,
    0x0, 0x0,
    0x0, 0x0,
    0x0, 0x0,
    0x0, 0x0,
    0x0, 0x0,
    0x0, 0x0,
    0x0, 0x0,
    0x3ff0000000000000, 0x3fc1111f0c34c1a9,
    0x3fe08bbd3804534c, 0x3fe66f73c0c1fc8f,
    0x3fd3a14057082492, 0x3fb96114edcdce55,
    0x3f75c12fb5a53de8, 0x3feea9b280f12c28,
    0x3fe682adc4c9c90c, 0x3fbbfd2e94680171,
    0x3fbe253111f0c34c, 0x3fc4faeff5c6c11a,
    0x3fd388c1db0142f6, 0x3fe310060780fdc1,
    0x3fe6c93a71151612, 0x3fec78a0902de00d,
    0x3fd9ed17c5ef62fa, 0x3fb5e53f8a598ab6,
    0x3fe8f0995aaf78ff, 0x3fe873d9ec700043,
    0x3fcd8fbca1059ea5, 0x3fba34fc610f0e91,
    0x3fc89fd7a13c254a, 0x3fda0c6f7a0b5ed9,
    0x3fe5ad106ee30caa, 0x3fe0a834d26fa3fd,
    0x3fe9f8ceb356da01, 0x3fef6d30f062d40b,
    0x3fdac319c5a3e39f, 0x3fcefc58ab92c062,
    0x3fd17b07075b3e14, 0x3fd772367e414e7f,
    0x3fe3b18b93469942, 0x3fe88b9346994185,
    0x3fd8e30446b69db6, 0x3fe509e12a51e322,
    0x3fe89eb6390c9108, 0x3fbc78316a055758,
    0x3feaa66dbd72bcb6, 0x3fe45f3b645a1cac,
    0x3f67f86480323f6d, 0x3fdd43a2163fdd66,
    0x3fcd1c53f39d1b2e, 0x3fc2cdc011d3671b,
    0x3fce61b6d43d0397, 0x3fd90b178b370047,
    0x3fcd7a786c22680a, 0x3fee00c308feac43,
    0x3fc28ede54b48d3b, 0x3fd50aa21a719b4e,
    0x3fd7a3443d46b26c, 0x3fe054c985f06f69,
    0x3fef76cacd184c27, 0x3fd1ea7ce0fc2eba,
    0x3feb089e34330d74, 0x3fece7d1351159c5,
    0x3fd648c7192ea52f, 0x3fc41059ea57214f,
    0x3fdf5692b3cc4ac7, 0x3fec756eac860568,
    0x3fe3b55043e5321e, 0x3fe55e5f30e7ff58,
    0x3fefe98bb4d48883, 0x3fd0ce52deca2553,
    0x3fded8ba40d90e24, 0x3fef03c07ee0b0af,
    0x3f9b60a12a879307, 0x3fc8577531db445f,
    0x3fe054da4ce8101f, 0x3fd8c4651f3e89a9,
    0x3fc6916ca46e08f2, 0x3fe35cf893faf428,
    0x3fe3964e8b7e4de4, 0x3fdead85dfa871a4,
    0x3fc2fcf80dc33722, 0x3fe319bb2788db05,
    0x3fd5b356da0168b6, 0x3fe504534bd76ee7,
    0x3fd69ff0cbaf965b, 0x3fdeb71fbc5de9c0,
    0x3fe7c087442c7fbb, 0x3fe240852b4d8ba4,
    0x3fe71c94f69ca9ef, 0x3fe468ff327aa68f,
    0x3f9b47e8ccdd93c4, 0x3fd4bacf7446f9ba,
    0x3fa39a613fb5f875, 0x3fe6c79b34a44c7b,
    0x3fdb241c3efae792, 0x3fe946e08f217093,
    0x3fe331a4bdba0a52, 0x3fe32a9f7b5aea31,
    0x3fddb1465e892253, 0x3fe4323bbc6eb0b8,
    0x3fdbd32c625e99e9, 0x3fe7fcb0c026cc1d,
    0x3fd05f02c4d65e46, 0x3fb63f6b4fda32e7,
    0x3fe9cf3fd933e35c, 0x3fed05a2d72ffd1e,
    0x3fe2a821f2990f30, 0x3fe753d640e9d51b,
    0x3fbc4113c68661ae, 0x3fe9133a0407cc7d,
    0x3fe7ee9ff0cbaf96, 0x3fe788c8259e1f3a,
    0x3fe6457e23f24d90, 0x3fca35d67ba237ce,
    0x3fbbea1c68ec52a4, 0x3fe1ac753e707e17,
    0x3fe562f5989df117, 0x3fea89310129cbab,
    0x3fab3298d9803976, 0x3fcfb14a90470a81,
    0x3fefd6861e92923e, 0x3fe9d5e8d5410f95,
    0x3fe70a1dfb9389b5, 0x3fcdf9b56323bbc7,
    0x3fe224af0bf1a5ca, 0x3fd4fa1e3eaf6838,
    0x3fef76922d948dc1, 0x3fed1a8ac5c13fd1,
    0x3fd1adddf43c7d5f, 0x3fe11c9b41398634,
    0x3fe5d0ca1cef2410, 0x3fe4e10060780fdc,
    0x3feb264e48626f61, 0x3fe8a1709310129d,
    0x3fc1d052934acaff, 0x3fe91731098d477c,
    0x3feeeba0620ab713, 0x3fdf8ae74f2f123c,
    0x3fc6af922962cfd9, 0x3fda583621fafc8b,
    0x3fe3da31a4bdba0a, 0x3fd611cf355cd91f,
    0x3fec172cd7cf5f4e, 0x3fcd78897e996313,
    0x3fe770a808c8259e, 0x3fe40b9baa1511e0,
    0x3fd7abda0dfdef85, 0x3fda54ef459d9903,
    0x3f62fabea2929193, 0x3fc4fec56d5cfaad,
    0x3fecc93c89f40a28, 0x3fe348ffb8b26395,
    0x3fed5aa0cae642c0, 0x3feed68c692f6e83,
    0x3fe7ff5e84f09529, 0x3fc657afea3df6dc,
    0x3fe7a597d49d7ba6, 0x3fcec3f3e0370cdd,
    0x3fd356eefa1e3eaf, 0x3fe765b4245f5ad9,
    0x3fdf814940bbb1f2, 0x3fd78b60f1b25f63,
    0x3fde70ef566490a3, 0x3fee04b1ab0856e7,
    0x3fe24fdf3b645a1d, 0x3fe23e61cffeb075,
    0x3fd92595bbbe8790, 0x3fdc36d655e28aa4,
    0x3fec78487b99d452, 0x3fb332f51fd22d5f,
    0x3fea42f837b4a234, 0x3fb13f83a38e0f22,
    0x3fcaa03c4b09e98e, 0x3fcaaf9a8cdea034,
    0x3f96ed535511aa4c, 0x3fd8d5842b734b51,
    0x3fbb18dac258d584, 0x3fdfe4c0df58c08b,
    0x3fca278d0cc35ce2, 0x3fedebe596c82e02,
    0x3fe6e50c5eb313be, 0x3fa79daed21002ad,
    0x3fe45edaec4a4096, 0x3fecf342edbb59de,
    0x3feb6e1bd1ed9dfe, 0x3fd37c84b5dcc63f,
    0x3fb82bc3d3290760, 0x3fd17292c4934268,
    0x3fe3266559f6ec5b, 0x3fe027243137b070,
    0x3f64dba480fe423b, 0x3f974ba51a005c46,
    0x3fec439799e518f4, 0x3fea39cf9a06a6e3,
    0x3fed60157eed45e9, 0x3fb0039e1a31da6e,
    0x3feb1e4f765fd8ae, 0x3fd5b317efe0ce0c,
    0x3fc8f7b9e060fe48, 0x3fe366b8305d95dd,
    0x3feeaa6f3f52fc26, 0x3fc1c382a12f9011,
    0x3fd19f23465625a7, 0x3fd7878b7a1c25d0,
    0x3fe9d1fe64f54d1f, 0x3fe4c14a4d2b2bfe,
    0x3feb1c3ce2089e34, 0x3fd6e44fa05143bf,
    0x3fc4c61522a6f3f5, 0x3feecfdf3b645a1d,
    0x3f9c13f65709d211, 0x3fa002e2328f9f45,
    0x3fe5cd20afa2f05a, 0x3fc889d27c393682,
    0x3fd81a048e043a21, 0x3fb3d1351159c497,
    0x3fe928283d35eb74, 0x3fe0ecaeea63b689,
    0x3fc59220ff540896, 0x3fdfbea4ebdd334c,
    0x3fab0a5efe931876, 0x3fcd53b4b2fa93af,
    0x3fcdb80a9de8b3b3, 0x3fe4a97e132b55ef,
    0x3fa942fcd4d254cc, 0x3fe309613d31b9b6,
    0x3fc8f74cd31769a9, 0x3fddd538ac18f81f,
    0x3fb5ab6b5335313a, 0x3fe5c8d1958969a1,
    0x3fd488051c9f72f7, 0x3fc3a16e7a311e86,
    0x3fec16312f4cf4a5, 0x3fec30a2ca9ac365,
    0x3fe718ce2d1f1cfc, 0x3fee1a0ad8a11666,
    0x3fe5fda4052d666b, 0x3fc0d8904f6dfc5d,
    0x3fe2cff21b3aeee9, 0x3fe6603d57796399,
    0x3fd177e1b8ed1bf8, 0x3fe0dcfcc5b8dc55,
    0x3fd368be2f7b17ce, 0x3fe170e6f2e8c048,
    0x3fed4b966be7afa7, 0x3f528b52aef97d2f,
    0x3fd18561d4306e5d, 0x3fe4a4b5568e820e,
    0x3fed4dee34fc610f, 0x3fd72e4d1a650614,
    0x3fef0ea18372e6a7, 0x3feb519dece57109,
    0x3fb4aedea53c650b, 0x3fdfcb295e9e1b09,
    0x3fe7e72da122fad7, 0x3fd7292817763e4b,
    0x3fee044284dfce31, 0x3fbfa7a85015c209,
    0x3fd414057082491b, 0x3fe4f060bb2bba99,
    0x3fce6266fd651b0d, 0x3fe733df2a9d627c,
    0x3fdb1d0c80410300, 0x3fd72441fea8112c,
    0x3fbbae147ae147ae, 0x3fc57a56de33269e,
    0x3fee4588a04d1202, 0x3fe5f685985ad539,
    0x3fee320d9945b6c3, 0x3fe00f7121ab4b73,
    0x3fee7867f0aa21a7, 0x3fe9253fc0096feb,
    0x3fe74810a569b175, 0x3fb9bc01a36e2eb2,
    0x3fb1d5728dbc15c5, 0x3fa18ab5d107c4f0,
    0x3fad054e1d9a44ba, 0x3fb1da4a63d160b0,
    0x3fd008d08919ef95, 0x3fd96a26e5471716,
    0x3fda9cb252ce032e, 0x3fd3173fb7a5f41b,
    0x3fd8ab7132724313, 0x3fd7a786c226809d,
    0x3fe3168d759ee88e, 0x3fe4d8e864020818,
    0x3fe06394face67d7, 0x3fb723c932e458db,
    0x3fea6525892684cf, 0x3feb65d5b24e9c45,
    0x3fe84753e707e176, 0x3fe727ac81d3aa37,
    0x3fecb87df5cf2496, 0x3fdf4f8f8a4c1ebd,
    0x3fe1b1bbcf4e874d, 0x3fdbde2ac3222920,
    0x3f73e9ea14057082, 0x3fe57d06bbdbe3c1,
    0x3fe57ab53d640e9d, 0x3fe34f5d35653c9b,
    0x3fe050c1b97353b5, 0x3fe459513f8db489,
    0x3fe58913a4f8726d, 0x3feecbd1244a6224,
    0x3fe0097c80841ede, 0x3fb39cfcfb68c18a,
    0x3fd8416bdb1a6d6a, 0x3fc06ce358298cc1,
    0x3fef578e5c4eb570, 0x3feb29f9ce8d972d,
    0x3fe7dff3f0fe047d, 0x3fc76b441bb8c32b,
    0x3fd2eeb2d0a24463, 0x3fe32b841248d7e0,
    0x3face60ebd322516, 0x3fec123c42a66dbd,
    0x3fc43fee2c98e53f, 0x3fd3d72799a1fd15,
    0x3fd05814940bbb1f, 0x3fe3add590c0ad04,
    0x3fa684746e66e5e8, 0x3fcb05d0fa58f712,
    0x3fe3685db76b3bb8, 0x3fe143009b30728f,
    0x3fe342656abde3fc, 0x3fdd624dd2f1a9fc,
    0x3fc0b4fa48301a7a, 0x3f7575424c55c402,
    0x3fd59c99285a921d, 0x3f78432543b15aab,
    0x3fa17a6b00291aab, 0x3f764c1f6850207f,
    0x3fe06940357a3550, 0x3fcf70ac3a860dcc,
    0x3fbda8049667b5f2, 0x3fe5bbf50e347629,
    0x3fdeafe1da7b0b39, 0x3fe8578811b1d92b,
    0x3fd01a32b12d3416, 0x3fa7612abd42ec0e,
    0x3fdb1d8e86402081, 0x3fe96516db0dd830,
    0x3fd1d0f1f57b41c0, 0x3fec02bc72e275ab,
    0x3fda76d549731099, 0x3fcb0cb295e9e1b1,
    0x3fda2d0a24463066, 0x3fe757d7c2ca148c,
    0x3fd4ae46cfc829d0, 0x3fe9f290abb44e51,
    0x3fb68a7030ea8397, 0x3feb57e23f24d8fd,
    0x3fb13edd8b60f1b2, 0x3feec347e8ccdd94,
    0x3fe1eeb91b3f20a7, 0x3fbcaf1cb89d6adf,
    0x3fe6b7a5f41aef70, 0x3fd80060780fdc16,
    0x3fc169f4906034f4, 0x3fe7d66490a350d3,
    0x3fe4713f077ccc03, 0x3fe9d334c5da6a44,
    0x3fd796787ce95fab, 0x3fdbff972474538f,
    0x3fd90945f9df548f, 0x3fdf385c67dfe32a,
    0x3fd2df15a4acf313, 0x3fee5cb5781c7150,
    0x3fa495365d8a1ed2, 0x3fd4caf2d7f950b9,
    0x3fe3dcc426351def, 0x3fb15a79c919b9e5,
    0x3fe42fab53d640ea, 0x3fe2ce7685985ad5,
    0x3fed8c5eb313be23, 0x3fd92fbe33acd5b7,
    0x3fdcd50225742dcf, 0x3fe2893faf42784b,
    0x3f978b1c2854b2e0, 0x3fd013c68661ae71,
    0x3fd1b018611fd588, 0x3fe2a8f9f44d4456,
    0x3fec518090b417ca, 0x3fc13c579f234656,
    0x3fe31b2c40d0aaa8, 0x3feefd45a5fc7e6b,
    0x3fe8aeb80ecfa69c, 0x3fe8652bd3c36113,
    0x3feef04ddb5525cc, 0x3feaa36199780baa,
    0x3fddaa3f034b0e1b, 0x3fef89cc319c5a3e,
    0x3fed69835158b828, 0x3fd246455eaee200,
    0x3fdfa76965f5275f, 0x3fc2282c6ef3d3a2,
    0x3fdb7add15f02c4d, 0x3fd1e9707182235b,
    0x3faed76fbdfdfcf1, 0x3fcef47304039abf,
    0x3fbebcc6c54bcf0b, 0x3fe08cf5b1c86488,
    0x3fe8ca18bd66277c, 0x3fc31105e1c15098,
    0x3fd3e8b3b320535d, 0x3fe46ccc46950fc7,
    0x3fe827ded6ba8c58, 0x3fed6e3f78bbd380,
    0x3febb08dd1e53a82, 0x3fb78d3359c99ff2,
    0x3fefd6238da3c212, 0x3fde8cb8e086bdf5,
    0x3fe1f62d83c6c97e, 0x3fc86ad2dcb1465f,
    0x3fec033a4723ab00, 0x3fe54918e325d4a6,
    0x3fd078d4fdf3b646, 0x3fe797d06bbdbe3c,
    0x3fdf0691ea78af3e, 0x3fdaa84be40420f7,
    0x3fe7e12a51e321a3, 0x3feccc964628027e,
    0x3fc509f1f14983d8, 0x3fcc4fe36d22424a,
    0x3feaac5c13fd0d06, 0x3fd929e0a41a261c,
    0x3fd44d2f5dbb9cfa, 0x3fd1d834091c0874,
    0x3fbdd0a67620ee8d, 0x3fd38d716d2aa5c6,
    0x3fce254a3c64345d, 0x3fb2b2f23033a472,
    0x3fea6705c896dd27, 0x3fe2385c67dfe32a,
    0x3fe1a854477ff152, 0x3fc6f4b61fe21d97,
    0x3fee6d330941c821, 0x3fe4ba8e71476af9,
    0x3fecd6733ebbfd72, 0x3fc6a11ec918e326,
    0x3fd049b62c77574f, 0x3fc81f080303c07f,
    0x3fe44a1272c94b38, 0x3fd48661ae70c133,
    0x3fd4c0c62e4d1a65, 0x3fd5d8127b2cc708,
    0x3fe536501e2584f5, 0x3fd7fe8ee6b8305e,
    0x3fc28a58b3f63c32, 0x3fc25471715c63ae,
    0x3fe4dd78811b1d93, 0x3f99d0ad2c1d953c,
    0x3fb5d45c0d471060, 0x3fc03de6149c6f37,
    0x3fec12428d434a02, 0x3fe6fa5d28d002e2,
    0x3fda745bf26f1dc5, 0x3fc084406c00da1b,
    0x3fbaa854477ff152, 0x3fe65c26dce39b45,
    0x3faace1099ab3751, 0x3fe293c89f40a287,
    0x3feaf5c28f5c28f6, 0x3fe7f23033a4723b,
    0x3fdd51f3e89a88ad, 0x3fe6ee008e9b38d6,
    0x3feb25892684cf07, 0x3fcae6d15ad106ee,
    0x3fe27c9363f572de, 0x3fb51737542a23c0,
    0x3fb51ba8d2f280bb, 0x3fe0c9774256bca5,
    0x3fe20605681ecd4b, 0x3fe11cd1c7de5083,
    0x3fe171da37ef5a96, 0x3fdfad31fcd24e16,
    0x3fd5116659d12cae, 0x3fe29f7d73c92578,
    0x3fe081b43526527a, 0x3fe7e4fb97bb7308,
    0x3fef078d92fb19e7, 0x3fdec586876e1deb,
    0x3feb1e1b089a0275, 0x3fe38eb463497b74,
    0x3fd39463cfb3311a, 0x3fdda3c64345cfee,
    0x3fec247ecfe9b7bf, 0x3fee4095f2452c5a,
    0x3fea531337eb28d8, 0x3fe300a393ee5eee,
    0x3fd1cdc011d3671b, 0x3fd53fa2ad3e920c,
    0x3fa17cbcea00ba3a, 0x3fd4bff8a8f3a9b0,
    0x3f96667a885c5a74, 0x3fdbf51ac9afe1da,
    0x3fe3cea28fe260b3, 0x3fe8b838c111ada7,
    0x3fe591c087442c80, 0x3fdf02ea960b6fa0,
    0x3fb8bbe5f4bbff1f, 0x3fef75d35653c9ac,
    0x3fc49813879c4114, 0x3fea08a8b08dd1e5,
    0x3fe45992428d434a, 0x3fe2b8fbca1059ea,
    0x3fcf0d0678c0053e, 0x3fd815097c80841f,
    0x3fe63a8826aa8eb4, 0x3fee8f840181e03f,
    0x3feeb99f5dfeb8d8, 0x3fe2e1240746455f,
    0x3fe6026edaa92e62, 0x3fd3c4113c68661b,
    0x3fd3bb8800eae18b, 0x3fd4c05d52c16df4,
    0x3fe47e414e7ee914, 0x3fddcd3e0bd44999,
    0x3fe2914b167ec786, 0x3feddb6e503fb374,
    0x3fe07d0aed99cbef, 0x3fe8a558ea7ce0fc,
    0x3fab72dc966e6bee, 0x3fe8dc5931ca7d67,
    0x3fe490214ad362e9, 0x3fc9107faa044ae8,
    0x3fe5790d9d7774ac, 0x3fdc12599ed7c6fc,
    0x3fdc981beb18116f, 0x3fd3a13c254a3c64,
    0x3fed4b6c7a7c9de0, 0x3fc31bac2df0d413,
    0x3fe5653005814941, 0x3fdb07f23cc8de2b,
    0x3fde159817b95a29, 0x3fc5d1c3ac929aa2,
    0x3fe4628027d88c1e, 0x3fed5efa615a8deb,
    0x3fe2266559f6ec5b, 0x3fab444e0daa0cae,
    0x3fe8a9dc725c3dee, 0x3fc85ebb7739f341,
    0x3fca450268900c52, 0x3fa0232096787ce9,
    0x3fe48d173fb7a5f4, 0x3f90bfe3b03e20cd,
    0x3fe629ef5232d2bb, 0x3fb54d991006de41,
    0x3fa659db3da8d7fb, 0x3fb7332774b90f81,
    0x3fe52a64c2f837b5, 0x3fb6d085bef141f7,
    0x3fddd3d4280ae105, 0x3fecd24399b2c40d,
    0x3fe7d36933a0407d, 0x3fd50d38cda6e760,
    0x3fe349cf56eac860, 0x3fe8e48e8a71de6a,
    0x3fe92d1287c200c1, 0x3fdbf4eca686e7e6,
    0x3feaf5e41d4b6a62, 0x3fe38e453d20f2bf,
    0x3fdec6088d6d3b6d, 0x3fc896bb98c7e282,
    0x3f87c35db841fb4d, 0x3fec7eed45e9185d,
    0x3faf8feef5ec80c7, 0x3fd8ba6efc371da3,
    0x3fde0984e3ffef39, 0x3f9c0bc88b1eac93,
    0x3fe77292c4934268, 0x3fdf185cee17a030,
    0x3fd7f7caa7589efe, 0x3fe11068986fcdee,
    0x3fd2263d816aceab, 0x3fe84c89b0ee49f5,
    0x3fc02b3892ee84ad, 0x3fefcb51372a38b9,
    0x3fba6698bb4d4888, 0x3fd566277c45cbbc,
    0x3fa50f6c848d98da, 0x3fd948d7e02645e5,
    0x3fccd0917d6b65aa, 0x3fef077036c9c0a9,
    0x3fddf51266341180, 0x3fd2801b43526528,
    0x3fe4637585be1a82, 0x3fd3dc768dfbd6a6,
    0x3fe5adb61bb05faf, 0x3fa74f89ab0f0ce3,
    0x3fd0b2788db0574b, 0x3fd4ed6777079e5a,
    0x3fb3ecc73e1792c4, 0x3fb51b9ec1f786b5,
    0x3fece79aae6c8f75, 0x3fdf309c7ffde721,
    0x3fe69d16fc9bc771, 0x3fd73af31b152f3c,
    0x3fb168d3fef03588, 0x3fea7f25e56cd6c3,
    0x3fcea350d2806af4, 0x3fe4606530058149,
    0x3fed38c111ada76e, 0x3fd20d2806af46aa,
    0x3fd091ea78af3e47, 0x3fa1446dee1a246e,
    0x3fe35eedcc20d563, 0x3feeaa79bbadc098,
    0x3feb0c77dd872f34, 0x3f851e5a5e1a678a,
    0x3fcfb14a90470a81, 0x3fec5e7ea5f84cad,
    0x3fbabd3c36113405, 0x3fe12e85b9e8c47a,
    0x3fef892253111f0c, 0x3fc7705857afea3e,
    0x3fe178c436fc1590, 0x3fe4e1650a45d420,
    0x3fe81cb252ce032e, 0x3feaf3083558a761,
    0x3f86a9eda4b3a90f, 0x3fe6d347a5b0ff11,
    0x3fd80e90bc7b45f1, 0x3fe9b2a6b0d95140,
    0x3fe11f87f023e9ea, 0x3fe9ed8904f6dfc6,
    0x3fe168a0d349be90, 0x3fd2051c9f72f76e,
    0x3fc1434a01abd1ab, 0x3feef2085b18548b,
    0x3fd5494d50ebaade, 0x3fedf5360d024702,
    0x3fb8ee037e39c1c3, 0x3fead84901d19158,
    0x3f975c797d9a5f92, 0x3fdfb8e4b87bdcf0,
    0x3fe570d413122b7c, 0x3fac5506c291e068,
    0x3f9333c6d6e98641, 0x3fddfee6fb4c3c19,
    0x3fd9bab649d388a9, 0x3fed325f633ce63a,
    0x3fceb07d0aed99cc, 0x3fe203afb7e90ff9,
    0x3fe4baa1511dffc5, 0x3fe8b9628cbd1245,
    0x3fd866559f6ec5b0, 0x3fe60aa64c2f837b,
    0x3fe47b82c2bd7f52, 0x3fb34cc25072085b,
    0x3fc5c0ebedfa43fe, 0x3fd295f676ea4229,
    0x3fdfc9107faa044b, 0x3fd5d495182a9931,
    0x3fe70a2014727dcc, 0x3fbce368f08461fa,
    0x3fde9cd8127b2cc7, 0x3faaba74db742f7d,
    0x3fe95c358afc47e5, 0x3fe3efae7924af0c,
    0x3feaca4f440af1cc, 0x3fd14256bca5375d,
    0x3fd3c4fc1df3300e, 0x3fe09919ac79702e,
    0x3fc5143bf727136a, 0x3fd260029f16b11c,
    0x3fda292c49342678, 0x3fb145755516b2ca,
    0x3fe0375c8d9f9054, 0x3fb4a99eca5b0285,
    0x3fd87e77d523b363, 0x3fc8a36199780baa,
    0x3febc7abfb9bed31, 0x3fe5c62a1b5c7cd9,
    0x3fee53d4280ae105, 0x3fe71a52263d816b,
    0x3feedc2f405f6ba0, 0x3fe6b56fb8f57f73,
    0x3fe9b1422ccb3a26, 0x3fd41a3b14a90471,
    0x3fd884e831ad2136, 0x3fe2eb4e9813879c,
    0x3fe300d3cff64cf9, 0x3fcefdb09a671ef3,
    0x3fe5d62174c4cdfb, 0x3fdf147f13059642,
    0x3fe22c3eb7cbb3c8, 0x3fd6244e93e1c9b4,
    0x3fee1f46ed245b29, 0x3fcddac68a936c59,
    0x3fe4af33ca31e7da, 0x3fe794a2b9d3cbc5,
    0x3fe0c6a7ef9db22d, 0x3feb343fa2ad3e92,
    0x3fccb3461309c800, 0x3fcc9afe1da7b0b4,
    0x3fe84373f316e371, 0x3fc6d7a56de3326a,
    0x3fbf35d249e44fa0, 0x3fe6055b89939219,
    0x3fec8ce4ead0c3d2, 0x3fd74955b4677b39,
    0x3fcb8e9707182236, 0x3fc6ca36199780bb,
    0x3fd2a0b5ed8d36b5, 0x3fe841094a2b9d3d,
    0x3fe287d4e09784ec, 0x3fdc40420f6f08cc,
    0x3fe917e56473471f, 0x3f63875bd4671ff5,
    0x3fe0f2abef06b378, 0x3fe1e412cf0f9d2c,
    0x3fbe6ea854477ff1, 0x3fd9fcac8e68e3ef,
    0x3fe3909070fbeb9e, 0x3fe23630a91537a0,
    0x3f93b927d45a5fc8, 0x3fdac42e9899bf59,
    0x3fe8e601bc98a223, 0x3fec57cd466f501a,
    0x3feb7294dd72367e, 0x3fd90d5e8d5410f9,
    0x3fb1ccc89b0ee49f, 0x3fef14ab1d4f9c20,
    0x3fe1de3da2f8bdec, 0x3fd6a63f9a49c2c2,
    0x3fdd140dd3fe1976, 0x3feb663c74fb54a0,
    0x3fe9914d2f5dbb9d, 0x3fd4f2dc2b0ea183,
    0x3fda7329c347e8cd, 0x3fec3a0e8427418d,
    0x3fef46d82ba5a038, 0x3fee3d1244a6223e,
    0x3fd14256bca5375d, 0x3f8336e2c0292568,
    0x3fe87c47e49b1fac, 0x3fea06705c896dd2,
    0x3fde3dee78183f92, 0x3fc15d67ba237cdd,
    0x3fe8496249a133c2, 0x3fc277d523b3636f,
    0x3fe8dba2be0589ad, 0x3fb67a2c16088001,
    0x3fe75ab7dc7abfba, 0x3fbb7a80cf9e3865,
    0x3fd8427418d6909b, 0x3fd012dfd694ccab,
    0x3fe1ac625e99e94b, 0x3fcca62aa19439de,
    0x3fd24ff0025bfad3, 0x3feb18bf7f06705d,
    0x3fb475ff609dcf89, 0x3fd565f0f5a1016d,
    0x3fd4dbdf8f473040, 0x3fe663886594af4f,
    0x3fc1162ae4b01861, 0x3fe105f06f694467,
    0x3fe7074c8ffb8b26, 0x3fc7ae0c17657753,
    0x3fc513c68661ae71, 0x3fe8c0c4156e264e,
    0x3fd76822ff08893b, 0x3fcf31876188b114,
    0x3fe81886df82b1f7, 0x3fe9331e3a7daa50,
    0x3fcedfaca3619978, 0x3fceeb91b3f20a74,
    0x3fe9cd2d44dca8e3, 0x3fbbe7d1351159c5,
    0x3fc0b827fa1a0cf2, 0x3fca5c0b9991361e,
    0x3fea23b3636f3b21, 0x3fa39152a33b030b,
    0x3fec7ab96f21f6cb, 0x3fe0a159817b95a3,
    0x3fd83608d08919f0, 0x3fa10610bb392692,
    0x3fbb8e8ea39c51db, 0x3fea4e1e71044f1a,
    0x3fef422ee41919ac, 0x3febb191dde37586,
    0x3fd5c4199fe43676, 0x3feed1a650614163,
    0x3fc8ab81f969e3c9, 0x3fd12ba9d1f60179,
    0x3fe73f7f06705c89, 0x3fd647064ece9a2c,
    0x3fc284d76ab58080, 0x3fda00713f077ccc,
    0x3fd1290abb44e50c, 0x3fd23e4ef0281ba8,
    0x3fe4a8eb463497b7, 0x3fe9f43a647fdc59,
    0x3fe9b3354c12274a, 0x3fe30cb295e9e1b1,
    0x3fea66f71a7e3088, 0x3fe45b0574b40703,
    0x3fe6ad2135daad60, 0x3fc8710cb295e9e2,
    0x3fd057afea3df6dc, 0x3fd6cbc48f10a99b,
    0x3fdb2a5a469d7343, 0x3fdadab9f559b3d0,
    0x3febf8ec0f883340, 0x3fe6c6f7a0b5ed8d,
    0x3fd14c6e6d9be4cd, 0x3fd465d3996fa82f,
    0x3fe943f3e0370cdd, 0x3fbf23465625a683,
    0x3fdf6c7a7c9de050, 0x3fe3f55de58e64b2,
    0x3fad04344226ebfd, 0x3fe1e05ccc89b0ee,
    0x3fca83fd50225743, 0x3feeb0db6a1e81cb,
    0x3fed5d5d3dc8b86b, 0x3fcae7ee9142b303,
    0x3fd586a4ca4f440b, 0x3fd2159817b95a29,
    0x3feade74299d883c, 0x3fe7fac6045baf53,
    0x3fdc51eb851eb852, 0x3feefe62dc6e2a80,
    0x3fec682517e77d52, 0x3fe95d28d002e233,
    0x3fe400ffda4052d6, 0x3febac2374794ea0,
    0x3fa0e075f6fd21ff, 0x3fe0a6a012599ed8,
    0x3fd517d2849cb253, 0x3f7026306b57bcd5,
    0x3f9e9043af82392b, 0x3fe5b3b7521144cc,
    0x3fe274e0114d2f5e, 0x3fe071758e219653,
    0x3fe98d66f0cfe154, 0x3fe4684f09528f19,
    0x3fd0a5d28d002e23, 0x3fed308dd1e53a82,
    0x3fe78f4517614595, 0x3fcad83c6c97d8cf,
    0x3fed929670196d8f, 0x3fa915b06b6d3664,
    0x3fd4d19157abb880, 0x3fe50b1bbcf4e875,
    0x3fc86cb10342aa9f, 0x3fedd62e09fe8683,
    0x3fd715db3397dd01, 0x3fc5a038194c0160,
    0x3fcb6a619da9c993, 0x3feb309a671ef30a,
    0x3fd09c347e8ccdd9, 0x3fca806af46aa088,
    0x3fcbbde82d7b634e, 0x3fdf02c0a4a05dd9,
    0x3fd9f93bc0a06ea0, 0x3fdb56c93a711516,
    0x3fbf990afe60c38f, 0x3fec0811b1d92b80,
    0x3fede1bf37b8d3f2, 0x3fd4ebfec13b9f12,
    0x3fda2a51e321a2e8, 0x3fcda6e75ff609dd,
    0x3fea0eda22f6a50d, 0x3fea4228997c3d68,
    0x3fe00e10cf5b1c86, 0x3fb67cee68280786,
    0x3fdfea209aaa3ad2, 0x3fbae525892684cf,
    0x3fb8a6f09a316f0e, 0x3fd74c48adeebb34,
    0x3f98120fccfc9d75, 0x3f7f1424d019078e,
    0x3fe13c31df761cbd, 0x3fefa0e410b630a9,
    0x3fd4bd44998d0460, 0x3fd43acd5b6805a3,
    0x3fc6a3486f049a99, 0x3fc637154003254e,
    0x3fe99ff2e48e8a72, 0x3fec1af3a14cec42,
    0x3fd917763e4abe6a, 0x3fee229845dc8323,
    0x3fe241743e963dc5, 0x3fefba27ae9ab29e,
    0x3fd56cd29131ec0b, 0x3fee67a52ac753e7,
    0x3fd22917507e9d95, 0x3f7b04de611ed3d6,
    0x3fd83a29c779a6b5, 0x3fd894c447c30d30,
    0x3fe9b72a38b8ae32, 0x3fe5343526527a20,
    0x3fe7ab4d8ba40d91, 0x3fd46162f166e009,
    0x3fe16c508b32ce89, 0x3fdee963dc486ad3,
    0x3fe9c710cb295e9e, 0x3fa757fa92d8b538,
    0x3fa5b303cdead9fe, 0x3fc6267839cd8128,
    0x3fc3475a31a4bdba, 0x3fef80dc33721d54,
    0x3fb844b6e935b91f, 0x3fe9e6b3fe9fadb0,
    0x3febb0014f8b588e, 0x3fb9d27c39368273,
    0x3fe4d3dea465a576, 0x3fdc72b020c49ba6,
    0x3fe295a4acf312b2, 0x3fea972474538ef3,
    0x3fe320407cc7d1bb, 0x3fcbfc6da4484945,
    0x3fe5ab8c75c4a83b, 0x3fe5695b78cc9a78,
    0x3fe4016ce789e775, 0x3fea558ea7ce0fc3,
    0x3fe13acd5b6805a3, 0x3fd636da87a072d2,
    0x3fcb3d5347a5b0ff, 0x3fe0c4d44567125e,
    0x3fe8141c8216c615, 0x3fdaa8d21bc126a6,
    0x3fe665eaab042529, 0x3feb8635a426bb56,
    0x3fe20f53c579f234, 0x3fe4fd199bb2788e,
    0x3fecb7110e453d21, 0x3fb39e79d32ab4df,
    0x3fe7dfd04a2fcefb, 0x3fde8a009f623077,
    0x3fe567685985ad54, 0x3fefe659d12cadde,
    0x3fdc5c52e72da123, 0x3fa57ba6698bb4d5,
    0x3fd80913a4f8726d, 0x3fdc36c15d2d01c1,
    0x3fdd77bbf93ff25e, 0x3fe92e429e0a41a2,
    0x3f9b1b94b0fc8cae, 0x3f99b12aafd6f2c0,
    0x3fea1b64e054690e, 0x3fa81f7f21484f24,
    0x3fd0dff3f0fe047d, 0x3f9161af4780c811,
    0x3fdfdd3fe1975f2d, 0x3fcbcba301216830,
    0x3fc8d5f99c38b04b, 0x3fb3f3f961804d98,
    0x3fb149293ebdaaf1, 0x3fd61016ce789e77,
    0x3fcffa43fe5c91d1, 0x3fe239389b52007e,
    0x3fbfa0945f9df549, 0x3fc2053e2d6238da,
    0x3fd07e1b8ed1bf7b, 0x3fefc443914f483d,
    0x3feedfd8adab9f56, 0x3fe5e3beec39799e,
    0x3fd657b84db9c737, 0x3fd362413db7f173,
    0x3fe616f0068db8bb, 0x3fe0aa79bbadc098,
    0x3fc3a0d77b7c7821, 0x3fe80904f6dfc5ce,
    0x3fdbbb2fec56d5d0, 0x3fe62b4959e62563,
    0x3fda7ee9142b302f, 0x3fe564b87bdcf030,
    0x3fe9d330941c8217, 0x3fc75dfeb8d82342,
    0x3f8b999ea217169d, 0x3fbc6fef7c243dcd,
    0x3fabbcae7197f2d0, 0x3fecf6c2699c7bcc,
    0x3fe894b380cb6c7a, 0x3fcbb4bb5e0f7fd0,
    0x3fdbb8e8ea39c51e, 0x3fef92a305532618,
    0x3feb1d53cddd6e05, 0x3fe8dde15ca6ca04,
    0x3fdcf644955b4678, 0x3fd823e186983516,
    0x3fef4057082491b0, 0x3fe805857afea3df,
    0x3fefee4c0df58c09, 0x3fdd5cbbc2b94d94,
    0x3fda55d5f56a7ac8, 0x3fd01c15097c8084,
    0x3fe995e7c8d19589, 0x3fdd0fd3b29a1ba0,
    0x3fd51d68c692f6e8, 0x3fc25ea24cc68230,
    0x3fc5790752da9867, 0x3f97171c7c378903,
    0x3fe8330d7386099a, 0x3fd0769a91105e1c,
    0x3fa7201dacb9310f, 0x3fd5c68a936c58ef,
    0x3fef2f251c193b3a, 0x3fe9896feb4a6656,
    0x3fef294bbe4473cd, 0x3fe1332f01754b06,
    0x3fd33558a7610279, 0x3feab4245f5ad96a,
    0x3fc1ff9b56323bbc, 0x3fed1d66adb402d1,
    0x3fc60dd3fe1975f3, 0x3fab0417bcb52795,
    0x3fe8742352eb5f5f, 0x3fd64651f3e89a89,
    0x3fd23db7f1737543, 0x3fe6d4de7ea5f84d,
    0x3fc3163baba7b917, 0x3f46f931c0d38081,
    0x3fdd131ec0b56755, 0x3fd40f6273929ed4,
    0x3fd6ad6451b93038, 0x3fb479ee02a77a2d,
    0x3fdc9e3c968943e1, 0x3fdc60fe47991bc5,
    0x3fcf1b691212513b, 0x3fbb1df761cbccf3,
    0x3fc2357a355043e5, 0x3fd65fc7e6b3fea0,
    0x3fe46049ecb31c22, 0x3fe24bd987c6327f,
    0x3fe04d551d68c693, 0x3fdf1b823c85c24c,
    0x3fe8a617c1bda512, 0x3fc632096787ce96,
    0x3fea461b6d43d039, 0x3fe2d095af294dd7,
    0x3fd33a4b5568e821, 0x3fe6bcb81733226c,
    0x3fe0001d5c31593e, 0x3fc09f94855da273,
    0x3fe0c093d9663843, 0x3fdc3d7d3910c2c6,
    0x3fe22bb6672fba02, 0x3fe5ab7132724313,
    0x3fed3e7296f6512b, 0x3fdef3d3a1d323ff,
    0x3fe574f722e1ac58, 0x3fe8ae2541d8e864,
    0x3fd306290eed02cd, 0x3fe783968d759ee9,
    0x3fe6553cddd6e04c, 0x3fec017763e4abe7,
    0x3fe54193b3a68b1a, 0x3fe18d4bad7d7c2d,
    0x3fd10f2389720429, 0x3fe3e199780baa58,
    0x3feb95831f03d146, 0x3fef6a098915bdd7,
    0x3fe0fab53d640e9d, 0x3fd9c9d16fc9bc77,
    0x3fa420b3d4ae429e, 0x3fadf9d54393d387,
    0x3fcdba6efc371da3, 0x3fdb59578a2a90cd,
    0x3fd3998d045fe111, 0x3fae038ba5bb100c,
    0x3fe7edefc7a39820, 0x3fe61b43526527a2,
    0x3f61cb496a01508d, 0x3fd49991361dc93f,
    0x3fe9d06bbdbe3c10, 0x3fd9fb224aada33c,
    0x3fe2f7d523b3636f, 0x3fc2aa7589efd86b,
    0x3fdbd82773e24fec, 0x3fe7c1e7967caea7,
    0x3fecfd8f0c77dd87, 0x3fec94c660a20147,
    0x3fbccc35ce182667, 0x3fea4cc037931444,
    0x3fe1d0268900c522, 0x3fdeb738e6d15ad1,
    0x3fde5d7cb2d905c0, 0x3fe8ee525892684d,
    0x3fde182ecaeea63b, 0x3fe2454bcf0b6b6e,
    0x3fdf3fc86cebbba5, 0x3fedfde939eadd59,
    0x3feedcb1465e8922, 0x3f2f93c4179c7ed1,
    0x3fe745cfede97d07, 0x3fee35e0f7fcfc40,
    0x3fecdee568a50508, 0x3fde33eff1950332,
    0x3fe272d5e071c53f, 0x3fd2d3ed527e5215,
    0x3fdd43bf727136a4, 0x3feff162ae4b0186,
    0x3fe2173b85e80bed, 0x3fecf43e963dc487,
    0x3fb8f52eeba5d5e8, 0x3fd45c6c11a11234,
    0x3fc2d38476f2a5a4, 0x3fe054f7a919695e,
    0x3fceeb91b3f20a74, 0x3fd4dc11e42e1262,
    0x3fe7f021d10b1fef, 0x3fea3de3fbbd7b20,
    0x3fe7bf401c4fc1df, 0x3fec06f47b677f6b,
    0x3feb1d3ed527e521, 0x3fece94467381d7e,
    0x3fdd6a098915bdd7, 0x3fd7ac215b9a5a8a,
    0x3fefe97aeddce7cd, 0x3fe263e6c4c5974e,
    0x3fd4effe2a3cea6c, 0x3feed42a23bff8a9,
    0x3fcc86d71f36262d, 0x3f8f0dc768dfbd6a,
    0x3fefa13a0c6b484d, 0x3fd030e7ff583a54,
    0x3fe51f6ec5b078d9, 0x3fea65061416377a,
    0x3fe1dfc3b4f61672, 0x3fa6243c1f6aff52,
    0x3fcb4107314ca926, 0x3fbcaf3e468cac4b,
    0x3fc45436b8f9b131, 0x3fec0a4c1ebc83a9,
    0x3fed4d12018a43bb, 0x3fe995810624dd2f,
    0x3fec63eaf6837f7c, 0x3fe18357a355043e,
    0x3fe5d71f36262cba, 0x3fb669ab9544a043,
    0x3feaf2990f301eac, 0x3feab19c5a3e39f7,
    0x3fe23ba775fb2ee0, 0x3fb735c3306bd896,
    0x3fe71b30728e92d5, 0x3fdd95c853c14834,
    0x3fe0ee99a62ed352, 0x3fde16db0dd82fd7,
    0x3fdfa1f4b1ee2435, 0x3fbf6598e10cf5b2,
    0x3fbda9973d9ec700, 0x3fd1de15ca6ca03c,
    0x3fe6e78183f91e64, 0x3fe5b14013ec460f,
    0x3fee4a3c64345cff, 0x3fdd5729b280f12c,
    0x3fceb54e2b063e08, 0x3fdae9b38d60a633,
    0x3fdeee02a77a2ced, 0x3fe6bbe878fabda1,
    0x3fc75ac03ff69015, 0x3fb8868b9fdbd2fa,
    0x3fe014df8b157258, 0x3fb5b485ae2a4a56,
    0x3fd1a6612839042e, 0x3fe608d4bad7d7c3,
    0x3fe879702e6644d8, 0x3fe500e27e0ef998,
    0x3fde6e3b46fdeb53, 0x3faba2163fdd65a1,
    0x3fd930e3cd9a5226, 0x3fe1c63ae2541d8f,
    0x3fe9d3a604e1e710, 0x3fb5a4aea091db5f,
    0x3fbc919ef954eb14, 0x3fd8bcf0b6b6e0d2,
    0x3fe4055970b49e02, 0x3fd803c07ee0b0af,
    0x3fe02556d19dece5, 0x3fd9d4a1ad6451b9,
    0x3fe09192641b328b, 0x3fddc8fb86f47b67,
    0x3fdd71c970f7b9e0, 0x3fef0a116659d12d,
    0x3fd06d373affb04f, 0x3fb76c1277d1c8b5,
    0x3fdfb0813cab81f9, 0x3fdfc33b5393250b,
    0x3fee96e7a311e860, 0x3fe91d94d0dcfcc6,
    0x3fd69db22d0e5604, 0x3fde85b5b70691ea,
    0x3fdbd8e0008637bd, 0x3fc71c864883fd50,
    0x3fbf25b317efe0ce, 0x3fd9e38a7e73a366,
    0x3fe4f87f023e9ea1, 0x3fc3c664d3bf2f55,
    0x3fbbed41b75a74c1, 0x3fef60e94ee392e2,
    0x3f71ad065de812a3, 0x3fdb8882f0e0a84c,
    0x3fe10ae536501e26, 0x3fe47127f5e84f09,
    0x3fc086b59146e4c1, 0x3fe6a352eb5f5f0b,
    0x3fbba12b5e529bae, 0x3fe2027b6fe2e6eb,
    0x3fdc8e757928e0ca, 0x3fe178e5c4eb56fc,
    0x3fd73de1e2de8709, 0x3fc916440f238972,
    0x3fd01b152f3c2dae, 0x3fcb9aa60913a4f8,
    0x3feecf91a32b12d3, 0x3fec80c9539b8887,
    0x3fd940fa9c12f09e, 0x3fdbddb5525cc426,
    0x3fe01670196d8f50, 0x3fde708ede54b48d,
    0x3fc25d851654d61b, 0x3fd6038e29f9ce8e,
    0x3fcc9b845564b663, 0x3fea073365881a15,
    0x3fdc436fc158fb44, 0x3feca3e7d135115a,
    0x3feabd3a1d323fee, 0x3fe940b780346dc6,
    0x3fed56a9c560c7c1, 0x3fc94f0520d130e0,
    0x3fd7584f4c6e6d9c, 0x3fd0b2f661f18ca0,
    0x3fed0abd5dc40075, 0x3fcc1e3eaf6837f8,
    0x3fddc2e770bd017e, 0x3fcb3c46d82ba5a0,
    0x3fc49ec2ce464990, 0x3fbe3ad18d25edd0,
    0x3fd7c1db0142f61f, 0x3fed48c2e770bd01,
    0x3fe98ce91c8eac00, 0x3fc93ff25e56cd6c,
    0x3fcbac9afe1da7b1, 0x3feab38d60a63305,
    0x3fdebc23315d701e, 0x3fafb535d75261cd,
    0x3fcbc27631b584b2, 0x3fdb2131a8ef77f2,
    0x3fe7833c60029f17, 0x3fe1d46d3f9e7b81,
    0x3febfb80a9de8b3b, 0x3fe5db1a6d698fe7,
    0x3fdca4484944ed70, 0x3fcffc08fa7a8501,
    0x3fe0845132f87ad1, 0x3fcc26809d495183,
    0x3fe784cf0739b025, 0x3fd3efe931876189,
    0x3fe6d334c5da6a44, 0x3fc84f440af1cb8a,
    0x3fee849a9973d9ec, 0x3fec1b43526527a2,
    0x3fe37761cbccf28c, 0x3fd2539b8887229f,
    0x3fd2baa9b499d020, 0x3fe2c4c7b02d59d5,
    0x3fe4e47778dd6170, 0x3fe0bc382a12f901,
    0x3fe36a4228997c3d, 0x3fe197bd8be7296f,
    0x3fe717b0f6ad70e7, 0x3fbe3161a1db877b,
    0x3fe638da3c21187e, 0x3fbd9a1fd1569f49,
    0x3fc148a159817b96, 0x3fd3f3e89a88ace2,
    0x3fd79192641b328b, 0x3fc78127b2cc7086,
    0x3fe5f17df19d66ae, 0x3fe9dd3bafd976ff,
    0x3fe9be9856a37ac4, 0x3fd783f0bae89eba,
    0x3fcfccfaeff5c6c1, 0x3fee696a26e54717,
    0x3fe2f9b34a44c7b0, 0x3fddb851eb851eb8,
    0x3fa4be9424e59296, 0x3fdc242d05f28848,
    0x3fdb3e20ccff21b4, 0x3fc002f2f9873ffb,
    0x3fc89185cee17a03, 0x3fe2b9b024f6598e,
    0x3fe00bd017dae819, 0x3fe84271fff79c84,
    0x3fe0984a0e410b63, 0x3fd4673c4f3ba776,
    0x3faa33a97ab82d03, 0x3fe0e638433d6c72,
    0x3fe648bc9cd3e0bd, 0x3fc4fb7e90ff9724,
    0x3fed8c34c1a8ac5c, 0x3fec7542a23bff8b,
    0x3fe9b82e44b6e936, 0x3fe50637bd05af6c,
    0x3fc4c2938de6ddf0, 0x3fe2513b5bf6a0dc,
    0x3fda804d98394749, 0x3fe5ac471b478423,
    0x3feaf97aaac1094a, 0x3fe09de26916440f,
    0x3fc5b8b26394face, 0x3fda1cef240fa9c1,
    0x3feb87fcb923a29c, 0x3fcdd5a187a4a490,
    0x3fb426f4608f8cd0, 0x3feaf840181e03f7,
    0x3fef7ff583a53b8e, 0x3fe916dd26b723ee,
    0x3fda70435efa615b, 0x3fec863beec3979a,
    0x3fd4aacd9e83e426, 0x3fe1710880d801b4,
    0x3fd9247cb70ac3a8, 0x3fccf0f16f4384ba,
    0x3fef0950763a1901, 0x3fe18c32a8c9b845,
    0x3fc719b4dcebfec1, 0x3fd5edcc20d5629e,
    0x3fd4d1526d8b1dd6, 0x3fe176683c297bfa,
    0x3fdced4a1ad6451c, 0x3fd7eca25529fe00,
    0x3fe928240b780347, 0x3fd05d9e40c8472c,
    0x3fead13b5bf6a0dc, 0x3fb8e736049ecb32,
    0x3fe3ea57214f0521, 0x3fec833c60029f17,
    0x3fe2ecbfb15b573f, 0x3fec7950b955f783,
    0x3fd3e4755ffe6d59, 0x3fde59f6ec5b078e,
    0x3fe42cdc011d3672, 0x3fd5ae2541d8e864,
    0x3fd957e670e2c12b, 0x3fe1d80a17b0f6ad,
    0x3f96ec976d6f6f24, 0x3fe041d6cf850df1,
    0x3fecde15ca6ca03c, 0x3fd9117b5286b591,
    0x3fd5cadddf43c7d6, 0x3fdaf1ed17c5ef63,
    0x3fe326a875d56f33, 0x3fd0ea1405708249,
    0x3fe987aaef2c7326, 0x3fee9101b003686a,
    0x3fef4436fc158fb4, 0x3fd2fe3f359ff4fd,
    0x3f77470146511d29, 0x3fa49f2925933780,
    0x3fe7789c5e6ff7e0, 0x3fc2ead9274e22a3,
    0x3fe40bcbe61cffeb, 0x3fe58dd3fe1975f3,
    0x3fd54af4f0d844d0, 0x3fcaae07e5a78f26,
    0x3fe04d7f0ed3d85a, 0x3fbfb2fec56d5cfb,
    0x3fef1a6b50b0f27c, 0x3fcf1d712a0ec743,
    0x3feb62aa19439de5, 0x3fc9f7403dddb121,
    0x3fd9e29307af20ea, 0x3feaaab042528ae7,
    0x3fe471044f1a1987, 0x3feec69728a61177,
    0x3fd912231832fcad, 0x3fda32d2bb23571d,
    0x3fdd680e06530058, 0x3fe86bb341e14be0,
    0x3fee7c8d1958969a, 0x3febd710880d801b,
    0x3fd4c7ffde7210bf, 0x3f937dacd4090131,
    0x3fef40d2c386d2ed, 0x3fede21fafc8b008,
    0x3fe9872f33ca31e8, 0x3fee537c1376d549,
    0x3fc628672756861f, 0x3fe5bcff64cf8d71,
    0x3f8e675eb3ea7db8, 0x3fe983ec892ab68d,
    0x3fda1f9f01b866e4, 0x3fea3d6a593a2df9,
    0x3fc45479d4d83409, 0x3fe03e9424e59296,
    0x3fea519bd4067cf2, 0x3fd0da7f3cf70154,
    0x3fe5b5e529bae46d, 0x3fc2a46e08f21709,
    0x3f9062fc4e9a97c6, 0x3fdad0d0678c0054,
    0x3fd5f00ef1348b22, 0x3feb23358f2e05cd,
    0x3faddea613249ff2, 0x3fe9e961c36976bc,
    0x3fdba9e2bcf91a33, 0x3fe28140dd3fe197,
    0x3fe8af5771001d5c, 0x3fbae4d1a6506141,
    0x3fd607c84b5dcc64, 0x3fc9882278d0cc36,
    0x3fea30f49491f2dc, 0x3fba352eb5f5f0b3,
    0x3fe2e1049235f80a, 0x3fe061da7b0b3919,
    0x3fdfa80cf9e3864d, 0x3fa54294d0063d31,
    0x3fe0b3c81908e582, 0x3fdea6b0d9513f8e,
    0x3feb0c2c5e2cdc01, 0x3fe98053e2d6238e,
    0x3faa5181d2d3770b, 0x3fe1a033e78e1933,
    0x3fb6b3ef863538c7, 0x3fb2ec9412711bcc,
    0x3fe2e49f51697f20, 0x3fe4904d551d68c7,
    0x3fc7b0ff10ecb74e, 0x3fa10129cbab649d,
    0x3f92f0c5d0594947, 0x3fd727807789a459,
    0x3fd9d8e0008637bd, 0x3fafc664d3bf2f55,
    0x3fe17a7c9de05037, 0x3fdb71c53f39d1b3,
    0x3fe1e536501e2585, 0x3fe27f8012dfd695,
    0x3fcaaf9a8cdea034, 0x3fe0c22ee41919ac,
    0x3fc82afdda8bd231, 0x3fef0fa7a85015c2,
    0x3fd138c111ada76e, 0x3fe68d9513f8db49,
    0x3fd273e24febd09e, 0x3feb53953dea465a,
    0x3fe2882f0e0a84be, 0x3fd79e1f3a57eaa3,
    0x3fe45d54da4ce810, 0x3fd11f9f01b866e4,
    0x3fda0713f077ccc0, 0x3fca9fbe76c8b439,
    0x3fa633ba41afcdb9, 0x3fe9647dc37a3db4,
    0x3fed87160956c0d7, 0x3fd28c64fdb09a67,
    0x3fd983f0bae89eba, 0x3fe403fd50225743,
    0x3fe23bddfc9ff92f, 0x3fda593a2df9378f,
    0x3fd77f88765ba6f0, 0x3fe97965b20b8067,
    0x3fcf17b5286b5914, 0x3fe0c21187e7c06e,
    0x3fa53a71151611ba, 0x3fd80c996b7670a0,
    0x3fa1e60a8b743ce9, 0x3fa7f6e3f78bbd38,
    0x3fe0bc9eecbfb15b, 0x3fdc94ee392e1ef7,
    0x3fe6252263d816ad, 0x3fe83fa2ad3e920c,
    0x3fc50bc7b45f17be, 0x3fef698dcdb37c9a,
    0x3fc7573647baa9b5, 0x3fc86c54bcf0b6b7,
    0x3fe406c00da1a933, 0x3feafcf5f4e4430b,
    0x3fec05dd8f92af9b, 0x3fd747d805e5f30e,
    0x3fe96071c53f39d2, 0x3fdd19e30014f8b6,
    0x3fe613dfb0d51f82, 0x3fd0cefaa4766c6e,
    0x3fd8cee17a02fb5d, 0x3fcbd7d3910c2c5e,
    0x3f874299d883ba34, 0x3fd103254e6e221d,
    0x3fdb59e1f3a57eaa, 0x3fe194983d790753,
    0x3fd4463cfb3311a5, 0x3fdd6a4ca4f440af,
    0x3fe46e41919ac797, 0x3fad786cf9279eaa,
    0x3fe0a94bbe4473cd, 0x3feb4df266ba493d,
    0x3fb2fd9414f55a8b, 0x3fe49e236c15d2d0,
    0x3fcee525892684cf, 0x3f6fdea7c0a3c99e,
    0x3fc0347e8ccdd93c, 0x3fe37666234a87e4,
    0x3fe8034f3fd933e3, 0x3fc17e4de3b8a19d,
    0x3fdf5004fb1183b6, 0x3fe4a3fab10ba626,
    0x3fedd28ae74f2f12, 0x3fe31b25f633ce64,
    0x3fe010795f676ea4, 0x3fe5bbddfc9ff92f,
    0x3fe7ded06fef7c24, 0x3fe81a60d4562e0a,
    0x3f7560d52ced9ed4, 0x3febe707e175d13d,
    0x3fd9c0ca600b0293, 0x3fe7324e9c454584,
    0x3fd6146e4c0df58c, 0x3fe31611ba3ca750,
    0x3fe836aa4b9884c7, 0x3fb98df449e9581e,
    0x3feefebaf102363b, 0x3fe35d95dd4c76d1,
    0x3fe10d6d3b6cbd98, 0x3fe4ea39c51dabe2,
    0x3fbe8fb00bcbe61d, 0x3fd21f601797cc3a,
    0x3fd0473471f79421, 0x3fe9007570c564f9,
    0x3fc2fe79ee02a77a, 0x3fed9767903211cb,
    0x3fe495d4e8fb00bd, 0x3fdeef34d6a161e5,
    0x3fdc788db0574b40, 0x3fe044a4095f2453,
    0x3fd8568e820e6299, 0x3fe966f0cfe15443,
    0x3fd5e392e1ef73c1, 0x3fdc7cc39ffd60e9,
    0x3fe049abb01c92de, 0x3fa50ca1cef240fb,
    0x3fb265a06dc93137, 0x3fda5ff609dcf894,
    0x3fd0d7b2031ceaf2, 0x3fe5785510d38cda,
    0x3fe7990afe60c38f, 0x3fe8e3ac0c62e4d2,
    0x3fe146c764adff82, 0x3fd5826aa8eb4635,
    0x3feec9d388a8b08e, 0x3fd4a51a005c4652,
    0x3fd4e35c5b4aa971, 0x3fe24662bae03b3f,
    0x3fe5f50c1b97353b, 0x3f3d314286fcf8a8,
    0x3fe268dda48b6523, 0x3fe25f202107b784,
    0x3fb2449dbec2480f, 0x3fc75ddd2ae8e1d6,
    0x3fee71a1986b9c30, 0x3fb574f722e1ac58,
    0x3fe0121682f94424, 0x3fc6d36b4c7f3494,
    0x3feac588a04d1202, 0x3fe32003ab862b28,
    0x3fe6550225742dcf, 0x3fdbb4e9813879c4,
    0x3fed8fa376922d95, 0x3fc0516db0dd82fd,
    0x3fec30dd82fd75e2, 0x3fef13964a59c066,
    0x3fc1cc532a497fa6, 0x3fca2cc2d6a9c561,
    0x3fe08e6299524bfd, 0x3fe1dcca70d1fa33,
    0x3fde1ed5ae1cde5d, 0x3fefd069a4df47fa,
    0x3fec4ea6c1a048e0, 0x3fdfa4766c6de764,
    0x3fe369dd7ecbb7fa, 0x3fb8186b30d08264,
    0x3feb66644d877250, 0x3fe7dadfb506dd6a,
    0x3fe52786c226809d, 0x3fc7d577963992c9,
    0x3fe99f53825e13b2, 0x3fe177dd872f33ca,
    0x3fe90c88a47ecfea, 0x3fc5089a02752546,
    0x3fe221187e7c06e2, 0x3fcdff8a8f3a9b07,
    0x3fdceea63b688bdb, 0x3fe1cc48adeebb34,
    0x3fd9ea57214f0521, 0x3fea08ede54b48d4,
    0x3fe35b37c99ae925, 0x3fea005c4651f3e9,
    0x3fbaf1dc50ce4ead, 0x3fdfb035bd512ec7,
    0x3fe3f6ec5b078d93, 0x3fd9fc4c165907d9,
    0x3fe20667f90d9d77, 0x3fdb15336deb95e6,
    0x3fed586013660e52, 0x3fe42326e115592e,
    0x3fd6b30728e92d56, 0x3fe4689656eefa1e,
    0x3f8a01182df42f11, 0x3fd9d6f976790321,
    0x3fd158255b035bd5, 0x3f9883a6124de05e,
    0x3fe7b8ed1bf7ad4b, 0x3f48e710b49ceefd,
    0x3f9c86990bd52058, 0x3feb34330d73860a,
    0x3fe3ee5abc0e38a8, 0x3fd397d49d7ba66a,
    0x3fd3bf61aa3f034b, 0x3fcfba55d1c3ac93,
    0x3fe8bd230b9dc2f4, 0x3fc51233df2a9d62,
    0x3fe964b44a1f0803, 0x3fe1b78ee2867275,
    0x3fe79a8ef77f27fe, 0x3fc87aa68f4b61fe,
    0x3fec6c2acb85a4f0, 0x3fb0a16bf5f26004,
    0x3fb5656d4222ba3f, 0x3fd47878b7a1c25d,
    0x3f9ceb498f960a99, 0x3fea862f5989df11,
    0x3fe3f4538ef34d6a, 0x3fd671044f1a1987,
    0x3fd516a8b8f14db6, 0x3fe8079c4113c686,
    0x3fef6772d5e071c5, 0x3fe7d4cdb7ae5797,
    0x3fc4b81733226c3c, 0x3f8d8ff0a36baa73,
    0x3fe1eb6177ea1c69, 0x3fd139a7c17a8933,
    0x3fe564ffc9795b36, 0x3fd27b80a9de8b3b,
    0x3fe81d2178f68be3, 0x3feb083558a76102,
    0x3fe8c2edbb59ddc2, 0x3fd13d20f2becedd,
    0x3faab1dbafbe9f0d, 0x3fe3076e1deacc92,
    0x3fe2c65e89225311, 0x3fda687b139c94f7,
    0x3fe78cb07d0aed9a, 0x3fefd69f4906034f,
    0x3fe320d77b7c7821, 0x3fe8fca2120e1f7d,
    0x3fef67dbb16c1e36, 0x3fec622a2c237479,
    0x3fe000abf76a2f49, 0x3fe444a83b1d0c80,
    0x3feae49b1fab96f2, 0x3fe987e38eb0318c,
    0x3fd9a964e8b7e4de, 0x3fe0de892253111f,
    0x3fc031bde82d7b63, 0x3feb3bb1f255f352,
    0x3fa7cb740738d965, 0x3fc8cf63800218df,
    0x3fe69bb6aa4b9885, 0x3fc86887a8d64d7f,
    0x3fe0d3bd1676640a, 0x3fe710ba6266fd65,
    0x3fe05eca25529fe0, 0x3fef10ea9e6eeb70,
    0x3fda5892684cf074, 0x3fd61beb18116ebd,
    0x3fed42c7fbacb429, 0x3fef8b242070b8d0,
    0x3fb698046e23ca0a, 0x3fde3ffac1d29dc7,
    0x3fd276ea4228997c, 0x3fe4c4955b4677b4,
    0x3feeb9841aac53b1, 0x3fd614bdfd2630ec,
    0x3fce0ce91c8eac00, 0x3fe5cfd08d4bad7d,
    0x3fbf5a426bb55ac0, 0x3fe2cc059210385c,
    0x3fc317c5ef62f9ca, 0x3fe88ae536501e26,
    0x3fca3eea209aaa3b, 0x3fdff25a250f8402,
    0x3fe704189374bc6a, 0x3fe0b2fcac8e68e4,
    0x3fea938fffbce421, 0x3fc982dbe7f2c301,
    0x3feafbe553ac4f7f, 0x3fe5a77c45cbbc2c,
    0x3fef1144cbe1eb42, 0x3fe445e0b4e11dbd,
    0x3fe2649f51697f20, 0x3fe8f531db445ed5,
    0x3fe3270b06c43f60, 0x3fea7928e0c9d9d3,
    0x3fd2eb91b3f20a74, 0x3fe404ab606b7aa2,
    0x3f84806ffce81d8b, 0x3f5c23f801d9c9e0,
    0x3fd2d944aa53fc01, 0x3fde5bf26f1dc50d,
    0x3fe7555821294574, 0x3fdbbb44e50c5eb3,
    0x3fc67829068986fd, 0x3fe800f345069a4e,
    0x3fd22990f301eabc, 0x3fdc443914f483cb,
    0x3fe17b2edfe75bc4, 0x3fdf0917d6b65a9b,
    0x3fd4be1a8262456f, 0x3fe5fa89331a08c0,
    0x3fc2c77dd872f33d, 0x3fe4298244e93e1d,
    0x3fc81975f2cb6417, 0x3fc745d851654d62,
    0x3fde9845dc832336, 0x3f990dfb6b45c938,
    0x3fd9a5332acfb763, 0x3fdabb6672fba01f,
    0x3fe5d31769a91106, 0x3fc4875d56f32bdc,
    0x3feed5043e5321e6, 0x3fefa37ef5a964e9,
    0x3febbe7d1351159c, 0x3fe4f00cd855970b,
    0x3fdbb367a0f9096c, 0x3fe7a6351deefe50,
    0x3fdd8537e2c55c96, 0x3fe1ecb966be7afa,
    0x3fe8775968512232, 0x3fdb05d52c16df40,
    0x3fe5d907d912556d, 0x3fe188f861a60d45,
    0x3fe4399b2c40d0ab, 0x3fe94c20d5629d84,
    0x3fe186833c60029f, 0x3fe9199567dbb16c,
    0x3fd5503b81b64e05, 0x3fe2985058dde7a7,
    0x3fe82fbc1acde1a0, 0x3fe662d6238da3c2,
    0x3fe28218def416be, 0x3feac2b51bd61f5c,
    0x3fe6adf2ecf20642, 0x3fed70dc768dfbd7,
    0x3fe3180d3cff64d0, 0x3fd51fd9ba1b1961,
    0x3fe7fa1a0cf1800a, 0x3fe0dc896dd26b72,
    0x3fe490364388ebcc, 0x3fc60c8cd63cb817,
    0x3fe02d538ac18f82, 0x3fce088d6d3b6cbe,
    0x3fe092ee84ad794a, 0x3fed4cea28fe260b,
    0x3fc00f66a5508701, 0x3fdece6c093d9664,
    0x3fcbceb78897e996, 0x3fece9df97aaac11,
    0x3fd1bc621b7e0ac8, 0x3fe3c4bf4cb1897a,
    0x3feff8e5c4eb56fc, 0x3fe79246bf01322f,
    0x3fe4e83c297bfa4c, 0x3fc166be7afa7222,
    0x3fa7baa9b499d020, 0x3fe4b797460242d0,
    0x3fec74751ce28ed6, 0x3fb5431451c69c31,
    0x3fc1ffc5479d4d83, 0x3fa5f867854a573c,
    0x3fad6ff8b65fa2fe, 0x3fe0f69ca9ef5233,
    0x3fdc5143bf727137, 0x3fb231909bc41645,
    0x3fd76202539756c9, 0x3fd4b2074ea8da7f,
    0x3fd3250b524399b3, 0x3fd34bfd2e946801,
    0x3fe0aceaaf35e311, 0x3fd967168f8e7ddd,
    0x3fe13f11f926c7eb, 0x3fae9138a207fd25,
    0x3fa5db18bfea663b, 0x3fe8f3cb3e5753a4,
    0x3fe46fcbd556084a, 0x3feab4a44c7b02d6,
    0x3fd30d173fb7a5f4, 0x3fdd08feac42e98a,
    0x3fc129670196d8f5, 0x3fec84f8f8a4c1ec,
    0x3fdfacabc5154867, 0x3fe50a43bb40b34e,
    0x3fc9a858793dd97f, 0x3fdabb4d48882f0e,
    0x3fe65fbb517a4617, 0x3fe727d45a5fc7e7,
    0x3fe6e9d94d0dcfcc, 0x3fed14f483cafb3b,
    0x3fd4d0fe8ab4fa48, 0x3fd1261bf37b8d3f,
    0x3fec1094a2b9d3cc, 0x3fe182f2f9873ffb,
    0x3fe784577d955715, 0x3fe6a3400b88ca3e,
    0x3fccf27bb2fec56d, 0x3fc5d790752da986,
    0x3fd01d81f10667f9, 0x3fd7d4845132f87b,
    0x3fdd6cdf266ba494, 0x3fefef49cf56eac8,
    0x3fe391b1d92b7fe1, 0x3fe1093d96638434,
    0x3fe0367e414e7ee9, 0x3feb5faca3619978,
    0x3fccc322291fb3fa, 0x3fd9ff4fd6d7e88a,
    0x3fd37a311e85fd05, 0x3fe54bb1af3a14cf,
    0x3fd15b0bbf50e347, 0x3fd2d616f86a0989,
    0x3fe63d7b2031ceaf, 0x3fdb119ce075f6fd,
    0x3fd66cc1ca3a4b55, 0x3fed16f21f6cacd2,
    0x3fd5a00e27e0ef9a, 0x3fbd8ff759685122,
    0x3fe2561b2a27f1b7, 0x3f82214676b1e312,
    0x3fe05ffe6d58c8ef, 0x3fda2788db0574b4,
    0x3fdd3daf8df7a4e8, 0x3fedd76ab5807fed,
    0x3fd91da7b0b39192, 0x3fe1d77fae3608d1,
    0x3fcae685db76b3bc, 0x3fd5463cfb3311a5,
    0x3fef66ec9e236c16, 0x3fb4b08065ebed24,
    0x3fe88a3f8982cb21, 0x3fee3191dde37586,
    0x3fc97d7c2ca148bb, 0x3fee35e0f7fcfc40,
    0x3fe579a6b50b0f28, 0x3fdc67620ee8d10f,
    0x3fe57954eb13dfb1, 0x3feeca600b029281,
    0x3fb5c059f7c31a9c, 0x3fd96516db0dd830,
    0x3fe62ebc408d8ec9, 0x3fcdc4eb56fb8f58,
    0x3fec89d0635a426c, 0x3fd8faf42784a948,
    0x3fa9edc6419850c4, 0x3fe7c8dc11e42e12,
    0x3fece01bc98a222d, 0x3fe4a5ce5b4245f6,
    0x3fcdbefd00713f07, 0x3fe13e121ee67514,
    0x3fd5b15b573eab36, 0x3fd31dd1a21ea359,
    0x3fc2d1e108c3f3e0, 0x3fb0499c2b445169,
    0x3fe788e79aae6c8f, 0x3f9b9f98b71b8aa0,
    0x3fe115e17e34b945, 0x3fe04b87bdcf0308,
    0x3fb6ac322291fb40, 0x3fbce39b456b441c,
    0x3fc5f5be5d9e40c8, 0x3fee9e731d2e0e30,
    0x3fe989a671ef30a5, 0x3fded40ee06d9381,
    0x3fe1300de4c51117, 0x3f6a3052832f9fd6,
    0x3fe91b1fab96f21f, 0x3fc346a1a500d5e9,
    0x3febbc536d655e29, 0x3fe7eff9f87f023f,
    0x3fd5b2b777d0f1f5, 0x3fe9f913e81450f0,
    0x3fcd47d805e5f30e, 0x3fc25929670196d9,
    0x3feb9f255f3519bd, 0x3fe5b139c94f69cb,
    0x3f8ac48c8c6adcee, 0x3fdabf7ad4b2745c,
    0x3fea8763a1900820, 0x3fd9645e4e69f05f,
    0x3feefd3f5b5fa227, 0x3fb8486ad2dcb146,
    0x3fd87446f9b994e2, 0x3fe12c5197a24895,
    0x3fc8d7518b0d0edc, 0x3fec1988d2a1f8e4,
    0x3fd494f26aec0725, 0x3fe5b12b1b36bd2b,
    0x3fd666cb10342aaa, 0x3f86584bf1701a44,
    0x3fa603e63e8dda49, 0x3fdee6c8f7553693,
    0x3fef1b23dd54da4d, 0x3fd840fa9c12f09e,
    0x3fe26afab53d640f, 0x3feb8296b3354c12,
    0x3fd6840181e03f70, 0x3f9efc016dbe497c,
    0x3fed86db50f40e5a, 0x3fe012c493426784,
    0x3fd730fcf80dc337, 0x3fc8cd9620685554,
    0x3fe470d1fa333765, 0x3f73d3d4d3d75816,
    0x3fa57d24eeccd1d5, 0x3fee5d2ae8e1d649,
    0x3f8338f8efeb5fe0, 0x3fae2fc4e9a97c66,
    0x3fcc84d76ab58080, 0x3fccdc981beb1811,
    0x3feadbf26f1dc50d, 0x3feaf9b56323bbc7,
    0x3fe3698fe69270b0, 0x3fec6234a87e38eb,
    0x3fdd7939a7c17a89, 0x3fe1cdc8754f3776,
    0x3feaa83b1d0c8041, 0x3fecae09fe86833c,
    0x3fc06fb4c3c18b50, 0x3fe658b827fa1a0d,
    0x3fc99af1886df82b, 0x3fea01c0ca600b03,
    0x3fd5af922962cfd9, 0x3fa571ba577f42d6,
    0x3fd5457c0b135979, 0x3fe1abb01c92ddbe,
    0x3febe7ee9142b303, 0x3fe8a415f45e0b4e,
    0x3fdd7d9dba908a26, 0x3fdf34091c087443,
    0x3fe2e6d15ad106ee, 0x3fe6e358298cc144,
    0x3fc4686e7e62dc6e, 0x3fcf6e47dc37a3db,
    0x3fdc703afb7e9100, 0x3fd3811b1d92b7fe,
    0x3fd54ab1d4f9c1f8, 0x3fd230014f8b588e,
    0x3fc9d53cddd6e04c, 0x3fba4180d3cff64d,
    0x3fe26a63b688bda9, 0x3fe73a9d1f601798,
    0x3fe783a7546d3f9e, 0x3fc29d495182a993,
    0x3fca963dc486ad2e, 0x3fcfbc1acde19fc3,
    0x3fdd1fff79c842fa, 0x3fc373860999dcb5,
    0x3feba231832fcac9, 0x3fd907fed20296b3,
    0x3fbb8b1572580c31, 0x3fd97746887a8d65,
    0x3fc9fe21d96e9bbf, 0x3fef72e6a76965f5,
    0x3fb098a57dd36a76, 0x3fd255d5f56a7ac8,
    0x3fcf2c5197a24895, 0x3fe8c9abb01c92de,
    0x3fe1b98a65492ff5, 0x3fd97e38eb0318b9,
    0x3fe6984c271fff7a, 0x3fe8fe47991bc558,
    0x3fe3c15d2d01c0ca, 0x3fd3a42aed139431,
    0x3fec2a497fa5d28d, 0x3fec866c2acb85a5,
    0x3fe5f4213a0c6b48, 0x3fefc20f6f08cc57,
    0x3fe5b7995ee136e7, 0x3fe6e4e054690de1,
    0x3fe291ec918e325d, 0x3fe1d436b8f9b131,
    0x3fb61d06a103f126, 0x3fec22e5de15ca6d,
    0x3fed55629d8409e5, 0x3fd486b59146e4c1,
    0x3fdbe221c8a7a41e, 0x3fed6c56d5cfaace,
    0x3fc0165907d91255, 0x3fac372e6a76965f,
    0x3fe04606748e4756, 0x3fcd7c1bda5119ce,
    0x3fc74b05b7cfe586, 0x3fe15130df9bdc6a,
    0x3fb30a4e379b77c0, 0x3fbd511dffc5479d,
    0x3fd3b0fadf2ecf20, 0x3fdee93e1c9b413a,
    0x3fe9791c4b90214b, 0x3fd788a8b08dd1e5,
    0x3fe5f2ecf2064239, 0x3feb459d99029ae5,
    0x3fd2aeb3dd11be6e, 0x3f7037a32f6f8447,
    0x3fef606748e47560, 0x3fe58c1fc8f32379,
    0x3fea7f498c3b0c46, 0x3fc737c99ae924f2,
    0x3fe5125bb7b6bb13, 0x3fd576145953586d,
    0x3fd63f85510d38ce, 0x3fd3c1e7967caea7,
    0x3fe02a60913a4f87, 0x3fb5139ae77772fe,
    0x3fe60e5a35d67ba2, 0x3fe7777af640639d,
    0x3fd89de8b3b32053, 0x3febe937d1fe64f5,
    0x3fe80e12e83a109d, 0x3fc24840e1719f80,
    0x3feede679463cfb3, 0x3fe5ededaec4a409,
    0x3fe9ff583a53b8e5, 0x3fd84ead0c3d2524,
    0x3fe46698bb4d4888, 0x3fbba6efc371da38,
    0x3fca1e9af5ba2be0, 0x3fef917939a7c17b,
    0x3fe49fbc5de9c023, 0x3fd157d5a9eb2075,
    0x3fd4f294dd72367e, 0x3fdd87160956c0d7,
    0x3fd79a73b42cc2d7, 0x3fd0ffcdab191dde,
    0x3fd03f359ff4fd6d, 0x3fa80866d6ceae4e,
    0x3fdf561d4306e5cd, 0x3f796fa82e87d2c8,
    0x3fdbadd590c0ad04, 0x3fd690de093532e8,
    0x3fe3d8a761027957, 0x3f96ac505582e954,
    0x3fb89df2c4ae1a5a, 0x3f91d381f2b3e723,
    0x3fe15c70435efa61, 0x3fe925c1c6088d6d,
    0x3feab28954a7f801, 0x3fd3f0bae89eba6b,
    0x3fb041d9bf2396de, 0x3fe6564b662fdfc2,
    0x3fdb304ccee5abc1, 0x3fe664d3bf2f5558,
    0x3fb9b1422ccb3a26, 0x3fe6c163779e9d0f,
    0x3fd7cf2495e17e35, 0x3fde6a7ef9db22d1,
    0x3faa76a0704d6ff5, 0x3fd61db0142f61ed,
    0x3fd78438088509c0, 0x3fd98cfbfc6540cc,
    0x3fd68ec95bff0457, 0x3fed9eb2074ea8da,
    0x3fb47c35db841fb5, 0x3fe3e030c23fab11,
    0x3fcb626b2f23033a, 0x3fe97e4ffc9795b3,
    0x3fcefcefaa4766c7, 0x3fb3d74348542ca8,
    0x3fc7220791c4b902, 0x3fe95a0168b5cbff,
    0x3fdffaeff5c6c11a, 0x3fe1406e19b90eaa,
    0x3fe368ad68837718, 0x3fd1844d013a92a3,
    0x3fc87fed20296b33, 0x3fca2e87d2c7b891,
    0x3fe5344a1f080304, 0x3feeabb01c92ddbe,
    0x3febdd4845132f88, 0x3fa1b8dfaffe5fed,
    0x3fbbbf1e8e608073, 0x3fe9bd33d29563aa,
    0x3faf4e478bafcc0b, 0x3feda9717df19d67,
    0x3fd9904b3c3e74b0, 0x3fc70abb44e50c5f,
    0x3fe2b5696e58a32f, 0x3fec4ff0025bfad3,
    0x3feb1437c5692b3d, 0x3fd0545c78a6dacb,
    0x3fe6f8bbd3804535, 0x3fe68bc169c23b79,
    0x3fd6b3cc4ac6cdaf, 0x3fdd1a261bf37b8d,
    0x3fe647ae147ae148, 0x3fe1dc725c3dee78,
    0x3fe1d17e77d523b3, 0x3fdd08787485e3da,
    0x3febb573eab367a1, 0x3fc77457c0b13598,
    0x3fbe3486f049a997, 0x3fb5316fe49469af,
    0x3fe2b7a3db3bfb59, 0x3fd8f4a558ea7ce1,
    0x3fe00ea18372e6a7, 0x3fe62877ee4e26d5,
    0x3fdd1ed17c5ef630, 0x3feae0bb2bba98ee,
    0x3fdef4eca686e7e6, 0x3feee6a11ec918e3,
    0x3fe616b54e2b063e, 0x3fd83b107746887b,
    0x3fe4c76295208e15, 0x3fdd667f90d9d777,
    0x3fe6a797891e2153, 0x3fd641c3efae7925,
    0x3fce091c087442c8, 0x3fd6bb23571d1d47,
    0x3fedaa3ad18d25ee, 0x3f9bea33e5e09a09,
    0x3feabf26f1dc50ce, 0x3fe40b8066c2acb8,
    0x3feb473eee525892, 0x3feaf9c62a1b5c7d,
    0x3fe39dcf893faf42, 0x3fd7f3a14cec41dd,
    0x3fda4aec8d5c7475, 0x3fea468ec52a411c,
    0x3fe169d0e991ff71, 0x3fc8b295e9e1b08a,
    0x3fcc7f3cf70153bd, 0x3fe4b28954a7f801,
    0x3fec2e924f227d03, 0x3fd4ea57214f0521,
    0x3fbc7cc7d1bb4917, 0x3fed8655193708ab,
    0x3fcd80d3cff64cf9, 0x3fe26ad4f5903a75,
    0x3fed6f2a5a469d73, 0x3f8ea0ba1f4b1ee2,
    0x3fe90c176577531e, 0x3fc7f8a8f3a9b068,
    0x3fe2ff993d5347a6, 0x3fef3b9f127f5e85,
    0x3fe6391f70de8f6d, 0x3fe5612839042d8c,
    0x3fe613bc0a06e9ff, 0x3fd324edf6124074,
    0x3fd64b4070329803, 0x3fd6088509bf9c63,
    0x3f90615c3b6a395a, 0x3fe10d3ae685db77,
    0x3fd3af922962cfd9, 0x3fc31c8eabffcdab,
    0x3fc330941c8216c6, 0x3fe6b9e6ab9b23dd,
    0x3fe737f38c5436b9, 0x3fd7068986fcdee3,
    0x3fdfa25529fe004b, 0x3fec7e3f359ff4fd,
    0x3febddc4007570c5, 0x3fe54b70ac3a860e,
    0x3fe6b55cd91eeaa7, 0x3fe0faf42784a948,
    0x3fe5bafb7e90ff97, 0x3fe45accd530489d,
    0x3fef48bc9cd3e0bd, 0x3fe7ca7935760392,
    0x3fe0956191148fda, 0x3fe83404ea4a8c15,
    0x3fde131a8ef77f28, 0x3fe67893faf42785,
    0x3fdf2df9378ee286, 0x3fcdca5bd944aa54,
    0x3fa149293ebdaaf1, 0x3fc027631b584b1b,
    0x3fe7be4473cd5736, 0x3fe1cc5974e65bea,
    0x3fa4083481e7cc2d, 0x3fecbdd54da4ce81,
    0x3feb41bda5119ce0, 0x3feb692f6e82949a,
    0x3fe4ba27ae9ab29e, 0x3fb051e17423be4b,
    0x3fc24e50c5eb313c, 0x3fcac74b838c111b,
    0x3fe3f850df15a4ad, 0x3fddaa582dbe7f2c,
    0x3fe384a72ead9275, 0x3feff034b0e1b4bb,
    0x3fea7a4a48f96e16, 0x3fa87fb0ba478f0b,
    0x3fc1177a7008a698, 0x3fe867b1c0010c6f,
    0x3fb3e01c34e9ec98, 0x3fc215ca6ca03c4b,
    0x3fec5f8d2e514c23, 0x3fd63ff69014b59a,
    0x3f8144c683878977, 0x3fef42f837b4a234,
    0x3fe97b9bed30f063, 0x3fd5ef06b37867f1,
    0x3fc5abda0dfdef85, 0x3f22b7e88f2018fa,
    0x3fecd0268900c522, 0x3feb147cfa26a22b,
    0x3fe8c016052502ef, 0x3fcb798d8a979e17,
    0x3fee6fd86a8fc0d3, 0x3fe5a5fc7e6b3fea,
    0x3fc4754f3775b813, 0x3fe150f1f57b41c0,
    0x3feb276fb09203a3, 0x3f9935cd4166d29d,
    0x3fed224aada33bda, 0x3fe4a606fac6045c,
    0x3fee31c432ca57a8, 0x3fef64c2f837b4a2,
    0x3fe003382e44b6e9, 0x3fc549491f2dc2b1,
    0x3fe72799a1fd156a, 0x3fc859ea57214f05,
    0x3fd24acaff6d3309, 0x3fec8f10a99b6f5d,
    0x3fee700ef1348b22, 0x3fe620a958537e2c,
    0x3fd3b990afe60c39, 0x3fbaca7935760392,
    0x3fd10fe47991bc56, 0x3fecf12e40852b4e,
    0x3fabd5fa72f84521, 0x3fee068fd199bb28,
    0x3fefe1ae70c1333c, 0x3fc484406c00da1b,
    0x3fe6b56323bbc6eb, 0x3fe7d7f0ed3d859d,
    0x3fe73ddfc9ff92f3, 0x3fefc1248d7e0264,
    0x3fd4cda6e75ff60a, 0x3fe471737542a23c,
    0x3feb51a21ea35936, 0x3fc7af533f42352f,
    0x3fe302363b256ffc, 0x3fead3ae685db76b,
    0x3fea86317268d328, 0x3fe07c49fd7a13c2,
    0x3fc83c18b502abac, 0x3fd7935fc3b4f616,
    0x3fd45cd0bb6ed677, 0x3fa437cc1f27e374,
    0x3fc482cf52b90a78, 0x3fe7a480e8c8abd6,
    0x3fdd65c70435efa6, 0x3fe3cd141a6937d2,
    0x3fb70db346e9c95d, 0x3fc6970f7b9e0610,
    0x3fc8fe79ee02a77a, 0x3faee4811e78910b,
    0x3fe404ff43419e30, 0x3fe946f36ef80560,
    0x3fde90a350d2806b, 0x3fe129bae46cfc83,
    0x3fe4ba0c6b484d77, 0x3feb481b21c475e6,
    0x3feb33e9a6f826ee, 0x3fe1dfc9ff92f2b6,
    0x3fec89a671ef30a5, 0x3fc940357a355044,
    0x3fc8b3700474d9c7, 0x3fc50d844d013a93,
    0x3fd47442c7fbacb4, 0x3fe4d234eb9a176e,
    0x3fb9be2b4959e625, 0x3fed11cf355cd91f,
    0x3fd364a9cdc44391, 0x3fd339042d8c2a45,
    0x3fc7113836a832ba, 0x3fdced80a17b0f6b,
    0x3febb6113404ea4b, 0x3fe4449774256bca,
    0x3fe914bdfd2630ec, 0x3fd123704790b84a,
    0x3fe3ec1a048e043a, 0x3fe03d87b56b8738,
    0x3fed33508f648c72, 0x3fe7696a26e54717,
    0x3feb615011904b3c, 0x3feb1fd9ba1b1961,
    0x3fe3327ed84d338f, 0x3f9f4d594f26aec0,
    0x3fe279d4d834091c, 0x3fe8f1da37ef5a96,
    0x3fe0673a365cb35f, 0x3fd7392e1ef73c0c,
    0x3fe1883771865519, 0x3fe34d5d80e496ee,
    0x3fdc715c63ae2542, 0x3fe40d08919ef955,
    0x3feae8d5410f94c8, 0x3fd8e7ab7564302b,
    0x3fd69aae6c8f7553, 0x3fb0a47819ed1110,
    0x3fc6369fcf3dc055, 0x3fe3b23fee2c98e5,
    0x3fed73c2dadb8349, 0x3fd2b0c88a47ecff,
    0x3fd8c7eae5bc87db, 0x3fc8fdc9c4da9004,
    0x3fe9b0164840e172, 0x3fd39d94d0dcfcc6,
    0x3fde55d5f56a7ac8, 0x3fd8c9fb6134ce3e,
    0x3fbcb71b8aa00193, 0x3fde4c6a3bddfca0,
    0x3fbc3d145d851655, 0x3fdc7481b21c475e,
    0x3fe32a51e321a2e8, 0x3fe3d0763a190082,
    0x3fecae44b6e935b9, 0x3fe89e6ab9b23dd5,
    0x3f8ba1b1960fa15e, 0x3fe7c68448cf7caa,
    0x3fe9163fdd65a145, 0x3fe7c9081c2e33f0,
    0x3fe22372606fac60, 0x3fe8fa615a8deb10,
    0x3fe59a9fbe76c8b4, 0x3fd331df761cbccf,
    0x3feccef88b977857, 0x3fefb80a9de8b3b3,
    0x3fabe70b3c742495, 0x3fe13966be7afa72,
    0x3fe706a6e32e3822, 0x3fe12ea52ef911cf,
    0x3fe5667d77fae361, 0x3fd1e09784ec636b,
    0x3fd4aa715831f03d, 0x3fd55bbbe878fabe,
    0x3fe2cba51a005c46, 0x3feec7dc37a3db3c,
    0x3fa18b31f7c9d099, 0x3fc58f1d3ed527e5,
    0x3fe413cee9dd7ecc, 0x3fcf24fa8b4bf8fd,
    0x3fc979fa97e132b5, 0x3fde766c6de76428,
    0x3fb07d7eb0e0073c, 0x3fe1b61565c2d278,
    0x3fe92b4fa48301a8, 0x3fcdfae3608d0892,
    0x3fe8e7a311e85fd0, 0x3fd8014f8b588e37,
    0x3fd07cdcca70d1fa, 0x3fe66e5cd4ed2cbf,
    0x3fe65f7a4e7ab756, 0x3fd19185cee17a03,
    0x3fe87c8b0079a283, 0x3fdbe4473cd57364,
    0x3fed512018a43bb4, 0x3fe1080d801b4352,
    0x3fa384f31967b013, 0x3feccd12018a43bb,
    0x3fc6a3c64345cfee, 0x3fb2feb80163ad4f,
    0x3fe108bfc2224edf, 0x3fdb97785729b281,
    0x3fcab8c75c4a83b2, 0x3fe1c792d1287c20,
    0x3fe0f620ee8d10f5, 0x3f901b003686a4ca,
    0x3fce1e81cb46bacf, 0x3fc29a1b9f98b71c,
    0x3fe2ba4f8726d04e, 0x3fefc68a936c58ef,
    0x3fe71dcf893faf42, 0x3fe761c15097c808,
    0x3fdb1e9af5ba2be0, 0x3feb29b499d0203e,
    0x3feac28d434a01ac, 0x3fe472de43ed959a,
    0x3fd6b0af5fd47bee, 0x3fed7a0f9096bb99,
    0x3fb2bec8274b9e64, 0x3fd86d86ec17ebaf,
    0x3fe2c3aa79bbadc1, 0x3f6cddb6a9f5b249,
    0x3fdb778dd616f86a, 0x3fc0d0fe8ab4fa48,
    0x3fd7164c729f59cd, 0x3fd3c5f394b7b289,
    0x3fec62da554b8bf0, 0x3fcf8ac9f2fdb8fe,
    0x3febb8433d6c7219, 0x3fe5b866e43aa79c,
    0x3feb3945308bb906, 0x3fd11b8ed1bf7ad5,
    0x3fc5330941c8216c, 0x3fc5af31b152f3c3,
    0x3fe9d48a9bcfd4bf, 0x3feccf1800a7c5ac,
    0x3fbd63779e9d0e99, 0x3fc26dce39b456b4,
    0x3fab196455142e8b, 0x3fe39e40c8472c0e,
    0x3fe20c9b845564b6, 0x3fe7236199780baa,
    0x3fd3f9a49c2c1b11, 0x3fec375ea67e846a,
    0x3fd90f2becedd484, 0x0,
    0x4008000000000000, 0x4010000000000000,
    0x4014000000000000
    };

static const uint16_t in_inv_dims[13] = {
    0x0001, 0x0002, 0x0003, 0x0004, 0x0007, 0x0008, 0x0009, 0x000F,
    0x0010, 0x0011, 0x0020, 0x0021, 0x0002
    };

static const uint64_t ref_inv[3111] = {
    0x4000000000000000, 0x3fe6a09e667f3bcc,
    0xbfe6a09e667f3bcc, 0x3fe6a09e667f3bcc,
    0x3fe6a09e667f3bcc, 0x3fe9c06a4dbb030f,
    0x3fe030294d559e30, 0xbfd3e1273621427c,
    0xbfd3e12736214280, 0x3fe9c06a4dbb030f,
    0x3fe030294d559e30, 0x3fe030294d559e2f,
    0xbfd3e1273621427c, 0x3fe9c06a4dbb030e,
    0x3ff69c01bcda645e, 0xc000a6a6921dae82,
    0x3feaf788323d9e48, 0x3f9bb9e81fc8d11d,
    0xc01474bec0fff89f, 0x3fee64ce235cf93e,
    0x400db93c5f7d8b66, 0x4006e0aa2629c79f,
    0x3fea8f8251c1a7fe, 0x40040722ce21a4d9,
    0xbff60dccba5f5183, 0xbffdfee6844680da,
    0x3ffe2b92ac107f21, 0xbf91517d8bf08170,
    0xc000495ac61bce71, 0x3fbf11ac8d7c1e33,
    0x3ff4e3e14dd454c7, 0xc004969d666795a5,
    0xc00be775193cb4ac, 0xbff0642d49ffbb26,
    0x4008ee3d01e95760, 0x400adc80ddb4041a,
    0x4006ac52d93fdd3d, 0xbfc8931eca1ff6ff,
    0xbfe96bc4ee95d0f1, 0x4000a93a03e2babb,
    0xbfcdf96863fac987, 0xbff0801924544bb0,
    0xbff3ca93c4e4cb3d, 0x3ff516e48cbfaab2,
    0xbfdee523e0ed9c79, 0x4000e5efc29db3bb,
    0x400c0f6209ae992e, 0x3ff78242f34458fc,
    0xc00dc33906dd9f85, 0xc0058fbb1a25355e,
    0xc00b28480363698f, 0x3fe39c1eb32b2321,
    0xbff7f2264f47e47b, 0xc00da2e426cf613a,
    0xbffd34f0d24e622f, 0x400a64de5cc84d07,
    0x40105362d0a93d7c, 0x3ffea1f6c3348506,
    0x3fe8f450060abaa2, 0x3ff523d757c937f6,
    0xbfc120ffcd569c78, 0xbfe6f14b5a1f1cb2,
    0xbfcfbff7016f002a, 0xbff61ec6532f7e64,
    0xbfb648712b975e49, 0xbff595ac1dc1c0c2,
    0xbfd603c4b8caec3e, 0x3ffeb002ccee14f4,
    0x3ffc8c5ba3fe5563, 0xbfc60c7617b92014,
    0xbfd8ddfa79814fda, 0xbffae2ff2116069c,
    0x3faf744c24f788aa, 0x3fe828e76b9eda59,
    0xbff5e26e3a7b9d3f, 0x3f96bdcabce449c1,
    0x3fe33af53cde3a33, 0xbfd6be09d83d18fa,
    0x3ff8ac30f9ef7f74, 0x3ff00c84e7c7f519,
    0xc010d8b49cb6bf4e, 0x3ff4cba7ef25b296,
    0x3ff568f52ff3e2ff, 0xbfebe0934137c56c,
    0x3ff8760173eeded1, 0x3fe4d2f3aa40627b,
    0xbfd0e733b1611507, 0x3ffd795c35a4d7fe,
    0xc0156fb07e5649ce, 0x4003f3128ccc7233,
    0x40032ff986043ceb, 0xbff8592babebdcca,
    0x3ffcc6567d8a5e69, 0xbfe17d68ed74c195,
    0xbfee38a010efb13c, 0x3fd849f692cf730c,
    0xbfee1a141cbd8d9c, 0x3fde8ebd81b79859,
    0x3fc3a4e6abc4d90b, 0x3fe53ddb8e6521c6,
    0xbfc791c8506da651, 0xbfdd53501e5bea1e,
    0xbfb308da68c3c5ce, 0xbfac2c56d36ab3a2,
    0x400dd608cbe395ba, 0xc00191bf21a6543b,
    0xbfea4d7ac34f549b, 0x3fbbe323b60a780c,
    0xbfefc2c0a031a3aa, 0x3fc1c1d9efec22aa,
    0x3fe47c32cae7fac0, 0xbfedc92ed2356020,
    0xc00ee20ae296d773, 0x4008808035091e01,
    0x3ff0b439f4cdc86f, 0xbfee84e5b79e278e,
    0x3fedfa1e95620c77, 0xbfd3d21cbcd5c40b,
    0x3ff1348eec8c48c6, 0x3fd1c4b597bd3edc,
    0xc003ce541dd2b104, 0x3ffd7f99d02ae988,
    0xbfe4e77ecd547e24, 0xbff1c6fb4f0320f0,
    0x4000f46b49f7d4b6, 0xbfd78e959fde581f,
    0x3fd474b269f4a8ce, 0x3fd64bb054d3e6ee,
    0x3fd1dd50b3c6babb, 0x3fe085c360efaf58,
    0xbff63e8af45a51e9, 0xbfa5b8cb9332ddf8,
    0xbfd0bd81e3c45055, 0x3fe481b17a84b5d7,
    0xbfe25b99d1233edc, 0xbfff5daf82b2185b,
    0x402294a1b20383ac, 0xc0143f39c84766bc,
    0xbff8b2a3f7a1436a, 0x4006d414c8d75025,
    0xc00847390b18ec49, 0x3fd590bc5d37eea2,
    0x3fcc97cc93763c2d, 0x3fe761f2801f0d67,
    0x3ff8cb953a39bbd8, 0xbff16719c84e08be,
    0xbff34495adf8590e, 0x3fe66a2df042e3bd,
    0x3fe9c8e7bf54cdad, 0x3fd5ef78d703eb80,
    0xc0010dabfa02e880, 0x3fdedf8f2d064bae,
    0xbfe7a96a8244615c, 0xbfde6eda009aee16,
    0x3fe52527d53ff433, 0xbfe54b9964308d28,
    0x3feafded9b73068c, 0x3f9686f9dc676ead,
    0x3fca868bd30550d1, 0x3fb97d837c4cf54d,
    0x3fd7ef7a904e9064, 0x3ff8d33cf7b0bd1b,
    0xbfdc2c65e32c34a5, 0x3fe6d755a385d924,
    0x3ff0b4203d6b3daa, 0xbffc991ba8fddfdb,
    0xbff51b21b95bfa84, 0xbfde9eb1f808aad3,
    0x3fea6b9ca17c650a, 0x3f9a69a6d4aba511,
    0xc007bb1f72dcc6bc, 0xc004714e60ea5c2d,
    0xbfce0d6b0f268429, 0xbffc58037724927e,
    0x40123bd05e11bfd5, 0x400b87d5722c150d,
    0x3fe7e9b69236eb2b, 0xbff6b0ece4a67e3c,
    0x3ff2db763df804c1, 0xbfff1bf3dd27e251,
    0xc000aef8358fdd62, 0x3fa92b427c501ba2,
    0xbfe69053494d59c5, 0x4002e22e05e3c3d1,
    0x3ff70c10fae5aa60, 0x3ff7b997ef830916,
    0xbfdf7197d5dca8d4, 0x3fe2888155151aaa,
    0x3ffb896e0b615237, 0xbfddf46729d7d43c,
    0x3ff2c7180611ddab, 0x3ffd300a5166bc20,
    0xc0019871b58c4364, 0xc001f71dc2023f1d,
    0xbfe3898eb73d84c7, 0x40079ee3d9189f74,
    0xbffe679aef59a110, 0x3fe87ffcbbfdd5f6,
    0x3ff5a764d3f31202, 0xbfe0c0219645d244,
    0x3ffd36d6166b597f, 0xbff9aa6f6f5ad221,
    0xc002a218fb78e2e6, 0xbfe71e8d3a2a2bd2,
    0x3ff5e6ef825b8b7e, 0xbfe7f4338e05b03e,
    0x3fd59bec22b7ba59, 0x3ff34e786cc26de2,
    0xbffb7dfb6ce18232, 0xbff670a19347d232,
    0x3fd1c7bf2537c2e1, 0x3ff5c08a4b645f8d,
    0x3fb28f6d63af6478, 0xbff6e7b34bddc2d2,
    0x3ff60f282cd596e2, 0x3fd4a564fbbc9d69,
    0x3ff32876cef507ca, 0x3fe9704f4f3edb8d,
    0x3ff015ea54723f5e, 0xbfff220fbe054ffa,
    0xbfe4ccbc1e8a8066, 0xbfc908e94b190a0c,
    0x3fc7801ef99135dc, 0xbfe68af412cd4a48,
    0x3fe59a4a4289ff36, 0x4004c82d1fd829f3,
    0xc003b09e32e4531b, 0xbf709024adb1c356,
    0x3fd74f78f103b93f, 0x3fd466b2cc501e37,
    0x3fefadc12d43b728, 0x3fc58b43a93b5261,
    0xc004cdedbe982091, 0x3fe2cb94c6a57177,
    0xc00035e445705ab3, 0x3fd57b91f0d4c1e0,
    0xbfdacfeeb8496489, 0x3fe46a1de98c455f,
    0x40051e3cea392f32, 0x3fe47a64dca6de01,
    0x3fff27ef36207f9b, 0xbfb977e299d1cf90,
    0xbfd0d7870689f08f, 0xbfcf6b54bf4ca287,
    0xbfd2308af81d9361, 0xbfdaf2b0434f342f,
    0xbfc46a9462151564, 0xbff41d05c02de45c,
    0xbfe718fdfb5e91dd, 0x3fceb29a26c68941,
    0x3fdea174dd5e44ad, 0xbfc20359cbdda0d4,
    0x3fd3068b9de92de4, 0x3fef70794230dc69,
    0x3fe267bd4be12d8e, 0x40169401c331e98e,
    0xc009082ba8feb604, 0xbffa32712b2b090e,
    0x3fdc91d2c2a1f024, 0xbfe6c917aa1be01c,
    0x3ff0612e9aefe781, 0x3fe90f8e61f863af,
    0xc016f0dc2905bed1, 0xbf91b7263ff174d6,
    0xc00d6671c90422e5, 0x3fe9edd39ef995da,
    0x3fe69fa60dafcb29, 0x4000846c3323f1e0,
    0x4017d3031217b947, 0x3f7b4ce984f9b1ea,
    0x3ff990b42c6a5a94, 0xbff67d34415bdc34,
    0xbfd5594231c46003, 0xbfe3a522189c72e4,
    0xbfee9e8da17d9d55, 0x3fe94682e9521dbe,
    0x3ff5e3177dbdb6dc, 0xbff78e88fb070745,
    0x3fe3d209e0795655, 0xc0067ae5249b8e38,
    0x3fd0ae4b5d3eb90a, 0x3fcfa71967c1de21,
    0x3fee103778229da0, 0x3ffd56ad661be18d,
    0x3fed0319440d2432, 0x4010c8951fa5fdf2,
    0xc00e8558e38484d3, 0xbff463893f3972cc,
    0x3fd5424256408fb3, 0x3fce10e5e0052914,
    0x3ff7dc399ac0edf3, 0x3ff2d729b56b3092,
    0xc01308e42a5ca2c1, 0x3fc4e2b01a6f0631,
    0xc007c9b9dfc13553, 0x3fe2d11ddb0e678e,
    0xbfc2a3426a978284, 0x3ff383d5943a1115,
    0x40164d04bcd991f1, 0x3fbb960ea8704a43,
    0xc018e704929b8ba7, 0x400cf97dab3b4a62,
    0x3fe1f7b432e6a4fd, 0xbfb655ff085ac95f,
    0x3fe42b59e3177ec0, 0xbffb898656944481,
    0xbfe8ad46faaf37d6, 0x401845621047a9de,
    0x3fe52d198bb345e3, 0x4011656e5334e616,
    0xbfe98e17b1592154, 0xbfe3383de3fef138,
    0xc006fd69edff3462, 0xc019149941157c42,
    0xbfd680359dc11fe8, 0xc00548dd114cc8f2,
    0x3ff6a1f33589db4b, 0x3fd5b8b01685fca9,
    0xbfc16f3c1a18dbbf, 0x3fe6fc8f804480b7,
    0xbff3813f01817c23, 0xbfe5f562673b8d15,
    0x4008a72de38e564b, 0x3fe02e3abbf659bf,
    0x400093b0bad0f9c5, 0xbfc4ce7afab4d3bb,
    0x3fc0953d07b07ad7, 0xbff4a5ac46147e5d,
    0xc007e5c953da559e, 0xbfd308774144652a,
    0xc0008bf43fb1cc36, 0x3fe5444e1a12ed8a,
    0xbfea2fcc4bb13edf, 0x3fec5545cfe5cd20,
    0x3fea3cf84976c4a1, 0xbfe713167d2c2a56,
    0xbfd78cb2abd2dbeb, 0x40015c7fb8d12748,
    0x3fe2982bfa34b72f, 0x3fee8c42d6090b33,
    0x3fa744f8d47bc5b7, 0xbfc734a190d7beaa,
    0xbffc8cf13a84df6a, 0xbfe26261e8a59718,
    0xbfe5ce9e3cb76665, 0x3fd6dff0166c36ff,
    0x3ff951df5b39dded, 0x3fe70a96b2476650,
    0xbfcda58d62a6f5ec, 0xbfd3a80d39659c35,
    0x3fc86e38d05e74ce, 0x3fa57bfcab07c62f,
    0xbfdfcb41b06b3c36, 0xbff180a482d6c99c,
    0x3ff0482bb6fc3edd, 0xbfe9d8d83b265104,
    0xbfcd4094e54fb400, 0x3fef89bf27c6749e,
    0xbfe7105f175a7b9d, 0x3fee883350ba71d2,
    0x3fea29219dee1afd, 0xbff8c0a87658999f,
    0xbfe96c8cd2744c57, 0x3fd61f14deae8276,
    0x3fe45024fd797066, 0x3fd9d0939b108dba,
    0x3fe27bc7f0113376, 0xbff52ca95b76930d,
    0x3f7c5630db36791d, 0xbff9e5abf7eba4da,
    0x3fd7689a228ad77a, 0x3fe0d4fa464f164d,
    0xbfd588a6a8aea15e, 0x3ff9a304e7767f87,
    0xbff155d0c1c41b4a, 0xbff99888618da95a,
    0x4000175f9417214c, 0x3ff390ade3c435e8,
    0xbfea66ece9d2f01d, 0xbfc6b6f5dbce65cf,
    0xbf95cff89d81c0cf, 0xbfedf3dad5987054,
    0x3ffcff1e1d8ce3e0, 0xbfd9bef4e7895394,
    0x3ff3073b1daab629, 0x3fb5de9b050bbb24,
    0xbfc9c7e5813b2b08, 0x3feb4acd2f97b1c6,
    0xc0049e3757f9174c, 0xbfe28aca8459688b,
    0x3ff84947ff313514, 0xbfe06b121151001e,
    0x3fef332fb5f5e8b5, 0xbfced6a4038e5932,
    0xbfe47fcd79e6b93d, 0x3fe00083cbbed9aa,
    0x3f9f09cda73f74cc, 0xbff6efe1f273bce6,
    0xbfe255117846488e, 0xbfe4ae315055b72e,
    0x3fea60e2fc589134, 0x3fd0e1432e0aee96,
    0x3ff554a6162c9a7c, 0x3fbb2c3d5c48724d,
    0x3fe2e1c22b6bfce7, 0xbffa13220dd7d691,
    0x3fc8371d4b34af07, 0x3fc81642daedabbc,
    0xbfb0a682e287dab6, 0x3f90f8825fa585a6,
    0xbfd2107ba49a66d8, 0x3fe3ae08ef21fe54,
    0x3fec47723331a57f, 0x3fdd73d5c6aee7bc,
    0x3fd44f632c22a675, 0xbfe75b10c6e1d785,
    0x3fd4c719d06e2637, 0xbff1f21433d2b244,
    0xbfd77437d31c6544, 0xbfc089ed9da33cdc,
    0x3fe7c4847c1ceca7, 0xbfe2bbbf6bafb357,
    0x3fe811925afda2ed, 0x3fced92e77f215e9,
    0xbfe08aa367c3dd4c, 0x3fc6e0a2b01fd120,
    0x3fd249956791820b, 0xbfe33f24b9c9a024,
    0xbfd2b3b84dd33ec3, 0xbfe4ea2cb4cd15e3,
    0xbfe0fcbe17fe9fb5, 0xbfcc19bcdb18bccc,
    0x3ff24e3ad0aced4a, 0x3fe58637a76ceccb,
    0xbff9e3b97c709abe, 0xc0034ce22487e15c,
    0x400da42d1f01ed2b, 0x3feefcc7e5fc9406,
    0xbfd41aafb29ea4b5, 0xbfe3e1b0ae7e6b9f,
    0xbfd568fd7b2d79a9, 0xbff9fb08017dc5df,
    0x400a7d203b31b53c, 0xbff52df3776ef7fb,
    0x400bb91398c6e61b, 0xbfe16c1ebba431f1,
    0x3fca1af3a6779b6c, 0xbfb1f307f44da83f,
    0xc010a54cf6961f6e, 0x3ff0000000000000,
    0x0, 0x0,
    0x0, 0x0,
    0x0, 0x0,
    0x0, 0x0,
    0x0, 0x0,
    0x0, 0x0,
    0x0, 0x0,
    0x0, 0x0,
    0x3ff0000000000000, 0x0,
    0x0, 0x0,
    0x0, 0x0,
    0x0, 0x0,
    0x0, 0x0,
    0x0, 0x0,
    0x0, 0x0,
    0x0, 0x0,
    0x0, 0x3ff0000000000000,
    0x0, 0x0,
    0x0, 0x0,
    0x0, 0x0,
    0x0, 0x0,
    0x0, 0x0,
    0x0, 0x0,
    0x0, 0x0,
    0x0, 0x0,
    0x3ff0000000000000, 0x0,
    0x0, 0x0,
    0x0, 0x0,
    0x0, 0x0,
    0x0, 0x0,
    0x0, 0x0,
    0x0, 0x0,
    0x0, 0x0,
    0x0, 0x3ff0000000000000,
    0x0, 0x0,
    0x0, 0x0,
    0x0, 0x0,
    0x0, 0x0,
    0x0, 0x0,
    0x0, 0x0,
    0x0, 0x0,
    0x0, 0x0,
    0x3ff0000000000000, 0x0,
    0x0, 0x0,
    0x0, 0x0,
    0x0, 0x0,
    0x0, 0x0,
    0x0, 0x0,
    0x0, 0x0,
    0x0, 0x0,
    0x0, 0x3ff0000000000000,
    0x0, 0x0,
    0x0, 0x0,
    0x0, 0x0,
    0x0, 0x0,
    0x0, 0x0,
    0x0, 0x0,
    0x0, 0x0,
    0x0, 0x0,
    0x3ff0000000000000, 0x0,
    0x0, 0x0,
    0x0, 0x0,
    0x0, 0x0,
    0x0, 0x0,
    0x0, 0x0,
    0x0, 0x0,
    0x0, 0x0,
    0x0, 0x3ff0000000000000,
    0x0, 0x0,
    0x0, 0x0,
    0x0, 0x0,
    0x0, 0x0,
    0x0, 0x0,
    0x0, 0x0,
    0x0, 0x0,
    0x0, 0x0,
    0x3ff0000000000000, 0x0,
    0x0, 0x0,
    0x0, 0x0,
    0x0, 0x0,
    0x0, 0x0,
    0x0, 0x0,
    0x0, 0x0,
    0x0, 0x0,
    0x0, 0x3ff0000000000000,
    0x0, 0x0,
    0x0, 0x0,
    0x0, 0x0,
    0x0, 0x0,
    0x0, 0x0,
    0x0, 0x0,
    0x0, 0x0,
    0x0, 0x0,
    0x3ff0000000000000, 0x0,
    0x0, 0x0,
    0x0, 0x0,
    0x0, 0x0,
    0x0, 0x0,
    0x0, 0x0,
    0x0, 0x0,
    0x0, 0x0,
    0x0, 0x3ff0000000000000,
    0x0, 0x0,
    0x0, 0x0,
    0x0, 0x0,
    0x0, 0x0,
    0x0, 0x0,
    0x0, 0x0,
    0x0, 0x0,
    0x0, 0x0,
    0x3ff0000000000000, 0x0,
    0x0, 0x0,
    0x0, 0x0,
    0x0, 0x0,
    0x0, 0x0,
    0x0, 0x0,
    0x0, 0x0,
    0x0, 0x0,
    0x0, 0x3ff0000000000000,
    0x0, 0x0,
    0x0, 0x0,
    0x0, 0x0,
    0x0, 0x0,
    0x0, 0x0,
    0x0, 0x0,
    0x0, 0x0,
    0x0, 0x0,
    0x3ff0000000000000, 0xbfe34f4555dfbb97,
    0x3fbd852a78cc5dc7, 0xbfd86d22930a441c,
    0x3fb04d7c1bbd7ea3, 0x3fe63dfc16fff0bf,
    0x3fd2382b1b9fcc59, 0x3fd389b2147154b5,
    0x3fee395f815aa41d, 0xbfdbd82897f816c4,
    0xbfd2226b0b47a830, 0x3fb90df305322315,
    0x3fcbdddb48cdd992, 0xbf921155a1e5c502,
    0xbfc8d1b95a78ee47, 0xbfdbf4e7ba56be21,
    0xbfc3ddd3dd1e30d2, 0xbfdf5d9bfbca41b7,
    0x3fde91104aef8999, 0xbfd6a79796e552f8,
    0x3fced6b9b148021c, 0x3fd0205439e732a2,
    0xbffa2e2af973b87c, 0x3f972b37e12767b6,
    0x3fe7e69041954fc0, 0x3fc7a581f0750403,
    0x3fdba5b5705b93fc, 0xbfd05e00bc4f7deb,
    0xbfedb5c6d0454637, 0x3fd815a2ffcd1d9f,
    0x3fd83b8b372fb4c8, 0x3fbae82838e18b53,
    0x3fe2197074aae461, 0x3fc16aaff0470a29,
    0xbfe543aa54905907, 0xbfc448d95687d39c,
    0xbfe6dbecbccf501e, 0xbfdd27b57463d685,
    0x3fd072ca967cbe4b, 0x3fd01cd3e48bfe97,
    0x3fedce294b0cc9cc, 0xbfc59d1f71e2aca9,
    0x3fe50ed8517e073f, 0x3fea852c077a8ebd,
    0xbfeca9993a2ad37f, 0xbfccc4fbcbc85638,
    0x3ff57f0060c58ae8, 0x3fdd54799ef5e5ff,
    0x3fa32edae0e79bf1, 0x3fb16af53d1d9d27,
    0xbfbdc08020901f36, 0xc0016108d791ab8b,
    0x3fc72763a9e1e8cb, 0x3f9936a56bc2d49f,
    0x3fd54b88f6dd46f1, 0xbfb438c646a831c2,
    0xbfd06566a89eabf7, 0xbfc94c731f564d8a,
    0x3fc33181c1bfc16f, 0xbfc9aa960b55a770,
    0xbfd3bddee4883857, 0x3feb04541d8eb935,
    0x3fd235a8090f5639, 0xbfe892226d23a062,
    0xbfd9d78a561bdee4, 0xbfdd4081504624ee,
    0x3fd9d51c87a6a487, 0xbfb51de19c789659,
    0x3fe8adc5f7c98ac7, 0xbfdadc746de98ec3,
    0xbfdc765898939b9f, 0x3fc272a1c7dea9f8,
    0xbfda500263de69e8, 0x3feb1a090c19c093,
    0x3fea52db9f96efac, 0xbfccdd05bd1a7294,
    0x3fe29cf4daf0a6fb, 0x3fc0fd5bf4821bbc,
    0xbfd6c892d6c71285, 0xbfbd8c7359b8cce0,
    0x3fe1e072313ecfae, 0xbfe0201b61a6ecdf,
    0x3fdb8ca071e64144, 0xbfcc8c386e2fc2ea,
    0x3fbd9eaa0a85e3f2, 0xbff10589df0101f3,
    0xbfe792dd65552162, 0xbfe061ea968b004b,
    0xbfef9362a4b4aa0f, 0xbfbf17ea9ba7abf6,
    0x3fd427052512fd99, 0x3fe98d3c7e5fa89f,
    0x3fce4ad97cf57823, 0x3fec3cfed4f91094,
    0xbfd0842fcc5baa01, 0xbfd008551f48f2fd,
    0x3fc5159353de1ef0, 0x3fcf26a26b04c4d1,
    0x3fe62769390c945d, 0xbfc64fec1c9c562d,
    0xbfd3255406229224, 0x3faad50807b73a08,
    0xbfcd89f5ecfd1604, 0x3ff521c5c20856ec,
    0x3fd25ff4b0ea09d6, 0x3fea4318fa2d5c62,
    0x3fe87663948e8534, 0xbffa909c3be5f707,
    0xbff28ad60d16eb4b, 0x3fc2eba4cd06f8be,
    0xbff16044a6f4bf79, 0xbfe2978b0c043d32,
    0x3fb0b92155a76ab3, 0xbfe0824d4503082a,
    0xbfd0759c309b6d7a, 0xbfdc79571fa00de3,
    0x3fdb93b1d66bdede, 0x3ff076a967d12428,
    0x3fe18c509285d288, 0x3fe716893e916001,
    0xbfd78ff128942d07, 0xbfdb60d63661b4b9,
    0xbff0417510a82344, 0xbff0693081894824,
    0x3ff4d743256b1e34, 0x3fe29e60b72a2ed8,
    0x3fcb4c3436468695, 0x3fed006270311090,
    0x3fc212232011a4b8, 0x3fd2c4100777c723,
    0x3ff73d9fb9ff2ad5, 0xbfed334bdb4cde75,
    0x3fbcbe2ef4bbda21, 0xbfef42293aed006c,
    0xbff63283d8d0275a, 0x3fdedee3cffc73ec,
    0x3fe7305d94e41330, 0xbfa7b8be5c213aa9,
    0x3fe5ee71f3bff125, 0x3fb9dff5e6305c3e,
    0x3fc66268f40693a5, 0x3fcdf7c7af128101,
    0xbfda16386f5a66be, 0xbf910e1c4dba3c4f,
    0xbfe95184237ca644, 0xbfb25677945f6772,
    0x3fd5f1428c4d40d6, 0xbfb37e9ea01bd05e,
    0xbfd114051ac6ad96, 0x3fc142ba1fea68aa,
    0x3fcd2953f008b681, 0x3fa5b76d865d95b5,
    0x3fae8443544e6733, 0x3fb44498ee9c1296,
    0xbfd8558b845c86ea, 0x3f924f4f5a111cb1,
    0xbfc400987102502e, 0xbfc4950fb0b765f9,
    0x3fc4e0eabb368afe, 0x3fe091ac3476eb97,
    0xbf9e5a8b3747f964, 0x3fc1bbc829aa3f78,
    0x3fd83626f70d0025, 0xbfe1085417b1c779,
    0x3fd413ae0e2ab3dc, 0xbfa064b266910217,
    0xbf7f879255c0c298, 0xbfe60a2b20fbff87,
    0xbf6793d60c7ee402, 0x3fded28269820f69,
    0x3f8576b24053ca29, 0x3fd975a2c160b348,
    0x3f83cb15b25ca942, 0x3fcb7b7d727776f5,
    0xbfb0bea3326fc0bf, 0xbfd07c5de61dcf32,
    0xbfe9bba6560c121b, 0xbfe1400bfa6afc59,
    0xbfd602980aa8f9fc, 0x3fdc800721435e6a,
    0x3fec451bd6ec621e, 0xbfcb34b908537328,
    0x3fb419ede837b71f, 0x3fca6aa4642dca06,
    0xbf995214c5c1c2e3, 0xbfbdc3f08b19a9e8,
    0xbfc281cd2e51b013, 0x3fe8be4ddb57fdcb,
    0xbfd61f1c4b93c20b, 0xbfd8b6f785350dfc,
    0xbfda9a2b1ffb8368, 0xbff0397e656f3229,
    0x3fe1805badbf7be6, 0xbfb0fb936c5b799a,
    0x3fe8482a187fd723, 0x3fdb2cb377074eed,
    0x3fcc67082f84fec5, 0x3fc154564fc98dd7,
    0x3fd85d14d8a8a317, 0xbfceb6649777fc4e,
    0xbfcd61c5a906bd68, 0xbfe0bae93a6906d1,
    0xbfc637151b9a5886, 0x3fcc9f429ae0351f,
    0x3fe56d89bafaf69a, 0xbfde95a0c61a3d38,
    0xbfd76340d3629bc3, 0x3fb830a63ec9c398,
    0xbfc493cbb0597b8c, 0x3fe8b2d411875356,
    0x3fd8b8ecb69d232c, 0xbfbb82e2fc9dd019,
    0xbfc032ca1eddc6e0, 0x3fc66083ca91103b,
    0xbfe0baea35f32e77, 0x3fdf345cbd273a2f,
    0x3fbd7366e454fc1b, 0x3fe8d6e38f65eaf1,
    0xbfda413c4106a36c, 0xbfe8d08cbfde4639,
    0x3fd4c3c35f926e33, 0x3fca718aa49cfe96,
    0x3fe146bfd9a5e8c2, 0x3fd809efe4cbf6f4,
    0x3fd634642cf3479d, 0x3ff61214f46c1cbd,
    0xbff36842d8f8c452, 0xbfd6edd324c26342,
    0x3fc4b7e0e42fec18, 0xbfe962d2fb209f7b,
    0xbfe5a494d02d92d4, 0xbfc90dfacc83b4ce,
    0xbff268824b3a0817, 0x3fa7901b8455335d,
    0xbfda1c64a36c6d3b, 0x3ff1f0ce6d21ce47,
    0x3fec85b8788993b5, 0xbfde0b77d34fa009,
    0x3fcbbbe9c03fa9a0, 0xbfc8daa67d2f351f,
    0x3fd67825554767eb, 0xbfdf3291664fa6d6,
    0xbfedff81e0d22375, 0x3ffe32b5583f9003,
    0x3fd44cd3ba8704cd, 0xbfe53b58fc4a6f08,
    0x3fe912fbbe419bd7, 0x3faa7af7b6be610e,
    0x3fdb03b01a23e88b, 0x3fe0096fb415ae74,
    0xbfc5ad3518f9ea38, 0x3fc8ccd17cadc890,
    0xbfd939ed7680fe18, 0xbfe76ccaf8289d52,
    0xbfe1392f36d59fa6, 0xbfc22c4b50418140,
    0x3fcbc4cfae7422e0, 0x3febfe0e60487129,
    0x3fe0eb2d1e2a173e, 0xbfcca12f4f1b2f2c,
    0xbfda3afb5b1cc1b6, 0xbfcd0f6bf6a83347,
    0xbfd9b41ebb8fc78b, 0xbfe5818a40b09668,
    0xbfb7ff701185ec43, 0x3fe4c998b749cd15,
    0x3fa0b324e6ac8ec4, 0x3fbc38e13fc4ad1c,
    0xbfe9721ab1045065, 0x3fe2e439e506844d,
    0x3fcf9c46e158afad, 0xbfe455421533fb10,
    0x3fd55df8d27e7eb4, 0x3fa3f7ef52bed9c8,
    0x3fe5110b7e41c85d, 0x3fed39aaea2e073b,
    0x3ff1920314c7c191, 0xbfd9b7df1b3fbdbf,
    0xbfe50d3f09fb6f87, 0xbfe6e6d1d8f7f330,
    0xbfe989eb4e0bf0e3, 0xbfc53a96a30579ed,
    0xbfdf700cd204b63d, 0xbfcdaf701d9bce5d,
    0xbf70b8fdfeca4b00, 0x3fa1d0fd50180b65,
    0x3ff1d1dbd043b4a6, 0x3fe4473b5bcba210,
    0xbfe2abbfdba4260a, 0xbfd3a43bc6d90d0a,
    0x3ff78d148ffe86fa, 0xbff2f32f7ba33a6c,
    0xbff622303215a3da, 0x3fe62abb289aa881,
    0xc003560564d0dcb3, 0x3f6861e8538baab1,
    0x40051b07ac48bb39, 0xbfbef044403ae4c0,
    0xbfed9437c82c5776, 0xbff04c51eaac741d,
    0xbff5688dc6c9f65b, 0x3ff62ceb386e9c04,
    0xbffa8422cfb97951, 0xbff0e725fef4c991,
    0xbfdb81b22ab6ba3b, 0xbffa2197eb145c3f,
    0x3ff52cc5d01ae5e1, 0x3fc29f53b1ea7ce6,
    0x3ff4b27e32074add, 0xbfcd12e0b7b750fc,
    0xbffaffbabf2e6ac9, 0xbff569a1bf7fc9be,
    0x3fd22ec39be84a3b, 0xbfe8c539944340ce,
    0xbff0bc234b1390e2, 0x3fe4ef6d96b2088a,
    0x40020e395c260996, 0x3ff45505d57d712f,
    0x3ff47f51b02062dc, 0x3feab5e772fc15ea,
    0x3ff50bd1d2dce9d3, 0x3fef0d24fbcbbbbc,
    0x40174a240eb31861, 0xc007900253882889,
    0xc0071c743aa18359, 0x3ff3c8af3a3b1555,
    0xc01dfc73b10a89ae, 0xbfd7c185d4e485a1,
    0x4020f7d29e2ad4f8, 0xbfe278d5d23c1834,
    0xc0047a7c14195b4c, 0xbff9bacf0e301485,
    0xc00b7ea45c5ec0d4, 0x4011f47d7ce4da60,
    0xc017e04526b0c9b7, 0xbff2813d3d28f674,
    0xc0062c06eba42080, 0xc0138c176a693b03,
    0x3ff4fa4df5173b77, 0xbfe18c3f62675c25,
    0x40103aa059558aef, 0xbffb881df194a2e4,
    0xc01869a879bd31ab, 0xc0030e40dd575c04,
    0x3fd83846f1c226d7, 0xc00d33fb2c83580d,
    0xc0027bd287437c80, 0x3ffb835a26ee1039,
    0x4019b958e6c43994, 0x400c1b00705b39b3,
    0x400ce2aabf3afccb, 0x40062a220ffff699,
    0x401834e8bce13769, 0x40009e6ca12435e8,
    0x400ce9fcac8e8378, 0xc0045abea4f5222c,
    0xbffc2a359e51510a, 0x3ff01b4ba829cc47,
    0xc017199af2ae7a2d, 0x3fac131ca5561620,
    0x4014aa7673d235b0, 0xbfe88922a921928a,
    0xc000a7304098d8cd, 0xbff5852cfff1935f,
    0xc0033d0244927e05, 0x40069f10e73a1eb6,
    0xc00b8e7b3c0deb5d, 0xbff2cef6d3ec7047,
    0xbffcc158ff0136b9, 0xc00df110e54e1bea,
    0x3ff8ee1898086144, 0xbfc1e370b14aed46,
    0x4009d08e4a3dfdec, 0xbfeb2406dfa0d0b0,
    0xc011a7544ac637bd, 0xbffe14fc10028308,
    0x3fd2e9c38b5c594a, 0xbffe628e5cca6927,
    0xc0010bf9b63a1210, 0x3ff04f8442be512b,
    0x40113fd250b68edf, 0x4006d4646aa0c954,
    0x4002d4bfb7c40c3a, 0x4004cffc03efcf15,
    0x4011999f9f7a383f, 0x3ffa5c615b3ce3f8,
    0x3fdfed4f341ca4dc, 0x3fb90220fe7b5fa4,
    0x3fc2fa1ccd5bff49, 0xbfba50ced42cf180,
    0x3fdf9e05ce5bb6a1, 0xbfde2f6319761013,
    0xbfcb18a772bb4f61, 0x3fd5906808bf2c0a,
    0x3fe6d06518ef3c43, 0x3fc12293494e0e5a,
    0x3fbd492b1f40a690, 0x3fded9efad011b41,
    0xbfe2880a82dd1cc5, 0x3fd8e5778d0f42f2,
    0x3fd4c709f1f01388, 0x3fd1d630213bf0b4,
    0xbfe63ec6bf71bbc2, 0x3fd1563493aa7da1,
    0xbfa7fffc6211acd7, 0xbfeda313836c7d05,
    0x3fe6ad67e73997a7, 0x3fd871c53f69e5c1,
    0x3fb108ce594c14a6, 0x3fdb10d7c5a6ce4f,
    0x3fc21b978794d25b, 0xbfc629ff57e28393,
    0xbfe43717a7740cab, 0xbff04b82f2e9f852,
    0xbfb1f83c85bf0779, 0xbfad3c6036694c2e,
    0xbfb0b84c1fbf5950, 0xbfd45b65959bacf0,
    0x40220e1352555220, 0xc015fd907a91c4bc,
    0xc01400ed00e39f78, 0x4003580c4b1303bd,
    0xc02bfe3a21d7ab11, 0xbfd1e48f8d64ddf8,
    0x402b64d4af5f12fe, 0xbff56f2f1036b9de,
    0xc015354a24ae9989, 0xc009856156ccda5b,
    0xc018ed6f58efeb1d, 0x401d54f3dcac5bd9,
    0xc0218ae0fd2bf782, 0xc00928a988390c25,
    0xc0109f546e53bbf4, 0xc020b329ba504493,
    0x400d3c7174fc6647, 0xbfebabaca6b00f12,
    0x401f10ef2a722988, 0xbfff145b70ad8eba,
    0xc025c3e678a30373, 0xc0156cc545d1c26d,
    0x3fde8625ce9d2260, 0xc01644da7022c073,
    0xc014e90dcb9501ef, 0x400b7b38f1089e81,
    0x402634a752e67eff, 0x401b2f5b852d48ba,
    0x40188010b4164656, 0x40153738931a4ceb,
    0x402549ce42f89a45, 0x401190382c202498,
    0xbff5978d120c1291, 0x3ff3b7ea7f8648a6,
    0x3ff782c576edd1a7, 0xbfee5261d7fe14be,
    0x40106ea4c50d9e95, 0xbfaca6d2bb7c6e32,
    0xc0081e4875618e33, 0x3fcbd9ade114f8a2,
    0x400354619958b098, 0x3feedb0bd9b51acc,
    0x3ff503f8ca514864, 0xbff18f9c47a8f06f,
    0x3ff5c62466cf9ec3, 0x3ff30e199bf1637a,
    0x3ff08907b9d980fc, 0x40033534b82c5614,
    0xbff979f0352f9aff, 0x3fe4a26c51ac7345,
    0xbffe7b8d04cec1ba, 0xbfd5b00d36331824,
    0x40016a9358516ecb, 0x3ffbfef9749e391c,
    0xbfcb833405e54ed3, 0x3ff7397fb7a50750,
    0x3ffd228d91f25cc2, 0xbff83c8a8ce41397,
    0xc00b3a0c65d13c26, 0xbffd6537bb6bf5c5,
    0xbff8694d19592143, 0xbff8927a7c8040b7,
    0xc002e609986b0de9, 0xbffc2cbbc0c8bbfe,
    0x400d97363b021635, 0xc0051eb61393314d,
    0xc0063b95c403161b, 0x3ff6974ae540f0e4,
    0xc01bd8fe305c34d2, 0x3fe13c0d5ab021bc,
    0x40178ff14d5cf182, 0xbfe9088ca6af58a4,
    0xc00606aca5b5df74, 0xbffe1468ec0387ab,
    0xc005620b3d083348, 0x400792456be88795,
    0xc00c5b9d1090ba12, 0xbff6c2d9c8f3a082,
    0xbff9c64831bfadf3, 0xc00d6f2ddb8147e9,
    0x4002dab277900217, 0xbff51d5e4561fe70,
    0x400b4ea100ae6e38, 0xbfd0d5c1f04824af,
    0xc012e6637fe0bbbf, 0xc005e4eb8a046d96,
    0x3fd795b24590a87e, 0xc007fa27c5970ed9,
    0xc004e46176f6b35c, 0x40013de36503538c,
    0x40168fc44bd56c7b, 0x4010178d705ad96b,
    0x40035248aec7cb72, 0x4002b0ef34b7d82e,
    0x4010f11c7bbf1162, 0x4002496d5a332aef,
    0x4003dd4b837fefa9, 0xbffc170a3bff3032,
    0xbffc238bcddf1e4b, 0x3fed81c248b5355b,
    0xc014d6803be83919, 0x3fe3c9d802c04720,
    0x401274f81eeeffe5, 0xbfe4aa793d40be3b,
    0xc00726884611f10e, 0xbff3401302c1b90e,
    0xbffc916834c6cfa1, 0x3ffa8669b296b042,
    0xc0039223890fb5b1, 0xbff42d509beaa30b,
    0xbffb6c224b3cc16f, 0xc00673050ccfddd5,
    0x3ff9036156f46d37, 0xbfe6ef2d87de8bb7,
    0x40058c22d57a4ee9, 0x3fb77ae698725955,
    0xc0102eae66a64d8a, 0xbfffb4840727d6ce,
    0x3fe439b28f785be4, 0xc002d85eb4b4a7a0,
    0xc000c0371b6523bf, 0x3ff8ffce7c04ea09,
    0x4011cdd78707470c, 0x40062a687eeebdfe,
    0x3ffe3303d6c91f90, 0x3ff8caac69eca916,
    0x400d362e1396fb8a, 0x4000a97985e16396,
    0x3fe5583655076f39, 0xbfe8346f9296ff73,
    0xbfcb86b3cc37db27, 0xbf92b42a43d72dea,
    0xbfd59ae3f5f988f0, 0x3fabb153ab07eda0,
    0x3ff3f0683aeac37a, 0x3f7d643b76a38e85,
    0xbfd68ac54a25ba8a, 0xbfd79e77b3fccdc5,
    0xbfc02ac2af4659a9, 0x3fe4103f5d313cd2,
    0xbfc0c6089da6af94, 0xbfd70a05ecd7448e,
    0xbfec6741cd2a2c20, 0xbfe960d574ae06e6,
    0x3fa6780e96f5213d, 0x3fe3d1f2c74b7359,
    0x3fd4b139e269b01f, 0xbfb36a2ae68cdaee,
    0xbfefa19068afa563, 0xbfaac3312b78468a,
    0xbfda3ea65bb2a42c, 0x3fb5a63eee149ff4,
    0xbfbd1b0c0c84d61a, 0xbfe23136a0f24da0,
    0x3fd5303393b51a8c, 0xbfc46b8df6fc002e,
    0x3fdd60b6606d510f, 0x3fd1f4dddddfd372,
    0x3ff332b654159308, 0x3fdfb0fcebea4337,
    0x4019822bef9d0d19, 0xc013035e428ee080,
    0xc0106d9b24ebac2e, 0x40008a173934c7d5,
    0xc025a54faed560b9, 0x3feb46059b9dce52,
    0x40249c29ef0e2bde, 0xbff6c19d21ed9367,
    0xc0128afeb5559e63, 0xc00a49b7583a9eab,
    0xc012639f258e7395, 0x4013fe30f60a3087,
    0xc0197eea7c37ae0a, 0xc0071d94cded6dad,
    0xc00bd3d5f168ed5e, 0xc01a710a27ee114d,
    0x400c6aba4ef24399, 0xbfebe525e3344434,
    0x4018d484a52d56c2, 0xbfe9e8162c0c62b4,
    0xc02176cdbe647bc0, 0xc0110eb63fc1f0f7,
    0x3fd830eda53a2657, 0xc00e0cef801bcda9,
    0xc00feaa0691d1cb7, 0x4002ea24f89e512a,
    0x4021f0bcca40910e, 0x40174d45ced28404,
    0x40147ee75bfe5153, 0x40119d0e15c9b142,
    0x401d66f1a8beeaff, 0x400db5d482a7f363,
    0xc000ecd548476d67, 0x3ff0875e3a04c6cf,
    0x3ff81d29a397d253, 0xbfddc7905ceb3c19,
    0x4007fe58940fdba2, 0x3feda333fc77e516,
    0xc008d821d929d837, 0xbfdd7a05e75cf624,
    0x3fabcbe4cd2d71d9, 0x3fef249cf1a2b0f5,
    0x3ffcf64ca60a7d9d, 0xc000c862b3789abd,
    0x4005f525380d8321, 0x3fe9274071cfe42b,
    0x3fced4b28831a791, 0x3ff93fef13bd59d0,
    0xbff4f7cafcafcd49, 0xbfdba507446c85d9,
    0xbff7929bd5cb40c7, 0x3fe4f4a8a7e45db0,
    0x3ff402d17d27b765, 0x3ff45be4468a2e67,
    0x3fbf96dd524b0a1e, 0x3ff8edd0490119df,
    0x3ffd2dfd82c806b0, 0xbff393deef2c0417,
    0xbffd9795b0224c2e, 0xbff3c6a7e54a4b10,
    0xbff95933b9a69814, 0xbff6a58da3c6f8d6,
    0xbff39b619e96b2cb, 0xbff4ea024fcff8d6,
    0x40042767c41484c1, 0xbffd005c9bc42fe1,
    0xc0010a1c12f46227, 0x3feea2866d1d53c2,
    0xc0119cf3e633cfc3, 0x3fd6b84d30a01f11,
    0x400efd2c2391bd35, 0xbff17f7c9336ce0a,
    0xc002b636e9010642, 0xbff1b0feb5083ea8,
    0xbffa0c03465ad445, 0x3fffe0cd15d06097,
    0xc0032fb6c344271c, 0xbff1b8b3886158fb,
    0xbfed5336c842040b, 0xc00653615ed2d813,
    0x3ff2f459b0766d2f, 0xbfe8ca63f1767f6a,
    0x4006410074618a07, 0xbfc76b426e17342e,
    0xc00b352df7484fc1, 0xbff8c3b2d0172fc1,
    0x3fdfd5d1ed972ffb, 0xc0000a7eca0a7cbc,
    0xbff4f6de8f850621, 0x3ff647a635298725,
    0x400f3bb9eeac3f6d, 0x40036fbf4cc302a7,
    0x400106dd997cbf49, 0x3ff1ce4d74ac0958,
    0x400b2ac68c818b32, 0x3ff594a3c03438f2,
    0xc00e048437e34211, 0x4000127fea110304,
    0x40024ae3dd055503, 0xbff6a6442a0cfacc,
    0x40154e1bb52e79a6, 0x3fa7ecdbe8f57fb0,
    0xc0156dab29c6a3e5, 0x3fd8c377537272d1,
    0x4000cea6c587e57e, 0x3ff188165ba9b677,
    0x3ffb2d75f762a96b, 0xc00553b5def7e4b9,
    0x400b7a04f2768f05, 0x3feb39c3402c2119,
    0x3ff7e2c417245313, 0x400ab07bb15ec42e,
    0xbfe28e9f391650fb, 0x3fd03600d9ec5ffe,
    0xc003ce83b8645baa, 0x3ff12b44e72b9423,
    0x400e79d3396affe2, 0x3ffa1bf271b9425f,
    0xbfd82d8b522a9dc9, 0x4005be7d51d136c8,
    0x3ff6e4beb663c059, 0xbff5ddade36611c3,
    0xc00dfb68e2233cc4, 0xbfff9e1af3faacb7,
    0xbffebf8267645d3a, 0xbffdd73451ada7e7,
    0xc012b964122734e6, 0xbffc1f52fc5ec2cd,
    0xc02006f89283d986, 0x401495f09c6de567,
    0x4010901a76d8c824, 0xc000e8e91f2e0a42,
    0x40267511ad06f70b, 0xbfe45f601d0a5b5b,
    0xc027dd3cdfb6cb10, 0x3ffa38bcf2cd906a,
    0x401342a2bfb9c681, 0x4006cf4002a9c68f,
    0x4014641545812384, 0xc018e98e864a88e5,
    0x401f05c3f9f81de3, 0x40032656fd0ebcc4,
    0x4010fb8b15a7b2da, 0x401dcc3e918398da,
    0xc004fa694b9f0a9c, 0x3fd8696da21cc8b7,
    0xc01a5fc3d6a503c7, 0x4000be780eb2e4ac,
    0x402375d5bb20d987, 0x400eded869bc5c1b,
    0xbfbd65f0e87e44f8, 0x4012745b9ad492b5,
    0x400d6d6004b8c8d3, 0xbffca518a1c2e9cc,
    0xc0238ea8fb59b02f, 0xc016d36a313443eb,
    0xc016926e51dae266, 0xc0110fc6484e5a4c,
    0xc022fc0bb5c2aa18, 0xc00ab209627c6f9e,
    0xbfffe23da5838325, 0x3ff17da080fcddcb,
    0x3ffb18ae80833237, 0xbfbefdbd6f116346,
    0x401102b78ba747f6, 0x3fce2251e1542d2e,
    0xc00fd262563304db, 0x3fd1589d3d23019c,
    0x3ff60a148934e2ff, 0x3fec2547fca0e15c,
    0x3ffe1457622cb6b9, 0xc001e1a0186322ff,
    0x4004bb707c2cf3b2, 0x3fec3da3fe9f7e24,
    0x3ff85f6398c97381, 0x3ffceb7c0b3dca40,
    0xbff676bbfc27d390, 0x3fd76f9eca6201d6,
    0xbffea037d603288d, 0x3fda9d48f024376d,
    0x40049494a76ee5e1, 0x3ff8f7b6bbbddabf,
    0xbfe153f63f46849e, 0x3ff970b79cd70fba,
    0x3ffe3af5c7662759, 0xbff7c313d607cd4c,
    0xc009e976e58da8af, 0xc00111b26e27b588,
    0xbff93ec20e39c4ee, 0xbffcc0c941a8fdd8,
    0xc001ddca66150924, 0xbff6202873c868ea,
    0x401d84762dfa8d02, 0xc0100ea8cb4fdaa2,
    0xc00f1a2eef57674f, 0x3fffc8b25e260f66,
    0xc02523d95f91ba30, 0x3fa7a62ecfe54319,
    0x40263bfaaa93a64e, 0xbff2b9dc6fc635e0,
    0xc01107d5b6c87c0d, 0xbfff6a5d14583e69,
    0xc0118c3e90231a15, 0x40167cf71b0f04ed,
    0xc01d039aa692f938, 0xbff93974b0a15740,
    0xc00d7af63cab61ea, 0xc01a4a19bd7aa765,
    0x400359c9e82caec8, 0xbff13d1bbc5b90b9,
    0x4017bb920ee7d117, 0xc00026d2c0805095,
    0xc0219664ef1414f3, 0xc00cb711f971a1bd,
    0x3fdd32677a85521b, 0xc0139f8930e36e4f,
    0xc00a0619f414fe69, 0x400105625a3fa060,
    0x40215ded3a54323e, 0x4015d6eec9e9e17c,
    0x40116f97cff69ba5, 0x400cf9cd03531b3f,
    0x4020ec38a8aaf83b, 0x4007ad2f052a3811,
    0x3fe2dd34841b9667, 0xbfe79e79f4d02dee,
    0xbfde868b591e5876, 0x3fe95f1eebd314e5,
    0xbffe8c48e45593e1, 0x3fce1619060f3952,
    0x3ff103e46b00761e, 0x3fc17a79decde7ce,
    0xbfdd0bba4a85f1bc, 0xbfe2b6d1a3f8acae,
    0xbfedce66da46c295, 0x3fd79fac374a49d9,
    0xbfca297a28595cf5, 0xbfdee02c45fae5fa,
    0x3fc6399148bc5cbb, 0xbff1ef68e36ae3c7,
    0x3fe9bcaf797ab3ab, 0xbfcd5db027669675,
    0x3fec43afe1fcbec2, 0xbf91c7ec0d522eac,
    0xbfeae98b8d3d3a47, 0xbfe6dcfc6cfd7792,
    0x3fa9d8e92acfacfc, 0xbfddb8e2d369f59c,
    0xbff189816284add8, 0x3fe6ef413e66734b,
    0x3fe8b7237d903714, 0x3fe92f941efe4a95,
    0x3fe6482613f0c080, 0x3fe08b061b94e208,
    0x3ff0670332d98de6, 0x3fdd527c6cbf2a6c,
    0xc0104a5bf31e0755, 0x40048d953699c580,
    0x4002a53aac18c515, 0xbff84a003da6de00,
    0x4019148c3f1b91c0, 0xbfd35dbb9b046c0b,
    0xc0197bd98cba447f, 0x3ff024ed29376b8c,
    0x40044497a3e8bbd8, 0x3ff8d1e3a23ed07a,
    0x4007877595ca6851, 0xc009ab78bcbb19f6,
    0x400ef7d75daf3d54, 0x3ff225401c713dfb,
    0x3ffde9f46315865e, 0x400ea3a6abffe6fb,
    0xbff7c079f89a87f3, 0x3fec7852d76482c3,
    0xc00d34b577fef6df, 0x3fe709e643a67c83,
    0x40142e75a14acf1b, 0x4004e170aa74ceff,
    0xbfe30847b05699d8, 0x4005eb2cef7ad2f7,
    0x4003cf369f24817e, 0xbffc68ddbe7ed176,
    0xc015a61395c0c807, 0xc007e7edd74d9b7d,
    0xc00531b67bd1f9d2, 0xc000c982c5cf82e1,
    0xc012d4afd62c34c1, 0xbfff2f1e36b743b3,
    0xc0130988b756ec03, 0x4009f21c9087f9f3,
    0x4005424daf0f4cc4, 0xbff71aa417d80b06,
    0x401fc5affda75881, 0xbfd32af87096f275,
    0xc01e87564f380bb7, 0x3ff22f2d6bc1c4c2,
    0x400e61086f8de63c, 0x40004e769760d49a,
    0x4008e92890091334, 0xc00ca9530df868bb,
    0x400fe5185483549b, 0x3ffe9ac3444a4bb5,
    0x40021dae4acc6930, 0x4013bc12e217d61c,
    0xc0017f174b52f0e0, 0x3fe6bab4c443f29d,
    0xc011bd47f3a80064, 0x3fe4a52a9613268d,
    0x4018574db53925a0, 0x400b19194d1a2da9,
    0xbfd801b51fbf11ff, 0x4007bb6ac5f3582d,
    0x4009a58004c83a2b, 0xc00117c5bbc556e0,
    0xc0196e9a008049fe, 0xc010aa9d16ba4aeb,
    0xc00abd2e495ca3f6, 0xc005cc6cef928939,
    0xc0183932cedf9c46, 0xc0041020eeb66f6d,
    0x3ff2069f1c6e6a4e, 0xbfdb7e75ed606300,
    0xbff05ed50e65043b, 0x3fd936dcc2583028,
    0xbff5fd4aa65fdf4c, 0xbfc884b3be001601,
    0x3ff718385612b437, 0xbfd84c4953068c93,
    0xbfeb22dacf7e0d33, 0xbfb4d6db6cdd88d0,
    0xbfe225587915d226, 0x3fdf580511171d2e,
    0xbff0dff047c071ec, 0xbfa4332c8ca19a04,
    0xbfd89b1f3bef4340, 0xbfe367ca020b1a0d,
    0x3fe13e8da55da2bc, 0xbfc74874eda7c7b7,
    0x3fd994f3cf1dbf75, 0xbfae266e5bf36016,
    0xbfe81e9c777307ec, 0xbff1a799da6da17f,
    0x3fa8b037d7ccd389, 0xbfebf0d35117b987,
    0xbfe1f6fd519b11d5, 0x3ff3006e24cb660e,
    0x3ff777360d50addf, 0x3fe05005cdcbfe7f,
    0x3fe1e0f9e6bf6141, 0x3fe5d0e954619f3a,
    0x3ff026bb0496e534, 0x3fdafa3927362c18,
    0xc01c5100ddb90360, 0x400f47da4b953642,
    0x400c5740ac9576a6, 0xbffb0b4ed4312110,
    0x402417d7b15d22c9, 0x3f5ad930d374461b,
    0xc023868de48de9ec, 0x3ff518414308dcbd,
    0x400cb9f7c5c65401, 0x4001ac1951388044,
    0x40115d34c62c5289, 0xc016ca81ddd21401,
    0x401c0d3b13bb3dd6, 0x3ffc2671c6774b59,
    0x4007879f475ce06d, 0x4019ef4f2fec7d3d,
    0xc0014a979e698d2e, 0x3fe97bba0935a999,
    0xc01534832e38c2a4, 0x3fff1415af908c2e,
    0x401fa15c09f72821, 0x400a4abf32b5a76d,
    0xbfe7555a4f02aae4, 0x400e70829450fb7a,
    0x40095959e8a47454, 0xc003c8e618662048,
    0xc01e0d464d990646, 0xc011b2bc445ecfa4,
    0xc0106a088a0410a5, 0xc00ec676e807b936,
    0xc0205f0bd7384ec8, 0xc00737eec0684784,
    0xc01683084ee52007, 0x400ada2c727565cb,
    0x400c5f46b6770498, 0xbffd511845da0441,
    0x4021d51d1b41d567, 0x3fbaa3e063fa55ae,
    0xc0211d2055ea9397, 0x3fe6171f1a9537af,
    0x400d06cfa645481d, 0x3ffea0de80cbbcb1,
    0x400a31e5f45d6fca, 0xc012c3413f0bd159,
    0x40162ae1b6c33cc2, 0x3fff4369c914d140,
    0x4004f411d28fa062, 0x40146d65b8fc0d44,
    0xc0007d43ffa11b89, 0x3fe89327975ba84d,
    0xc0124853b664d007, 0x3ff582ac61df92d8,
    0x401a3230202c5652, 0x4008eb9f72252d51,
    0xbfdb5609f3fe3ca1, 0x401146642b9fef1b,
    0x400ceed770c1ae30, 0xc007ae75b2d5ac9f,
    0xc01c02e272e809c7, 0xc0113c92e28d411e,
    0xc00c460ea52f1987, 0xc00a75d525ed74ad,
    0xc01aa36b18719e9b, 0xc0082cb3db64989e,
    0x3ff850e23bd2f2fd, 0xbff1a8b60232f872,
    0xbfe5dd038c5b346c, 0x3fd29436aa846817,
    0xc004396eaecc06c9, 0xbfc988eb419fb1c5,
    0x400681d7fe6f923c, 0xbfd77561a8076e57,
    0xbff36637503a5599, 0xbfdd5253b0b3a748,
    0xbff230276c313c15, 0x3ff3acc35d466c2a,
    0xbff975c4d7e2bccb, 0xbfda4abfc924e078,
    0xbff5d37a32d34c39, 0xbfef784f794f3e52,
    0x3fe04c32665acc64, 0xbfbe24892c26d56e,
    0x3ff3ae2c567d1df2, 0xbfdbea097becab5a,
    0xbffdad7e07169b0d, 0xbfebb6f7092b112e,
    0x3fbeb5fbd3a04729, 0xbff303fac4ee08ad,
    0xbff1b372dc7abe4c, 0x3febb785359d4576,
    0x4000197cef784b84, 0x3ff79edfa0bfe57c,
    0x3fe8b6dbebe0e072, 0x3ff2b2a49fddfef7,
    0x3ffc59096841b44b, 0x3ff356c0d4162ae2,
    0xbff55f9fd901d6cb, 0x3ffb9ecc07c8bb7b,
    0x3ff03020fcd95ab9, 0xbfde3d9ae8fce85b,
    0x400c76415bb7ea70, 0xbfb61e548b5d3b37,
    0xc007e26885fb24a7, 0x3fdcf85e3886835a,
    0x3ffb603a7867d486, 0x3fedc28ab9c1c47d,
    0x3ff734d7855b9cb4, 0xbff3aa19551e247e,
    0x3ffb85d766dcdeae, 0x3fe485f07e63fbe3,
    0x3ff4761ba7888d4c, 0x3ffbe855fe271e39,
    0xbffd5985a87991a8, 0x3fe5a07d0ff810c9,
    0xbffe307e7e4a45cb, 0xbfd09a386c9c3ac4,
    0x4006f3e826d6488a, 0x3ffc57a1c99638c0,
    0xbfcfe4f1fe6a87b7, 0x3ff46a770e6b8724,
    0x3ff401693c6eefe5, 0xbff0fa739ef5df3e,
    0xc00877414df73249, 0xc000eba04b991ba2,
    0xbff51876405da178, 0xbff7783d1d8e3926,
    0xc0009553d0e0398b, 0xbff398b67c9fa00b,
    0xc00ea3c910121a76, 0x400348fe88dc57e2,
    0x40066b68a8ce40d5, 0xbff4ac6a4b2ae353,
    0x4019b20dd6fec493, 0xbfd79387bb639ee4,
    0xc018dc533899a197, 0x3ff3fd566b5b339e,
    0x400cb34649fd45d0, 0x3ff994e9885234d2,
    0x400373a6c24b3834, 0xc0050b1edfe33f8e,
    0x400ba266532e105c, 0x3ff8c70ec1d5c2e3,
    0x400371bb40fd64b1, 0x400dab1d5723e913,
    0xc00010813141cba1, 0x3ff3f3c01978f5f4,
    0xc00e0c2d6c2dcb8e, 0x3fe33d731ea7f3ba,
    0x4014c701429f9144, 0x40034a5bf390233f,
    0xbfe4647a5e27ed7b, 0x400965725f226af6,
    0x4001e5ddddd26f8a, 0xbff99a86c4adc97c,
    0xc0180e89011c0ba9, 0xc01034eab2ab4f14,
    0xc0079553efb6d100, 0xc00189fbe40b30bf,
    0xc013af733c5ecfe7, 0xc001f18b0efe6989,
    0xc02347bfe641ca29, 0x4018051d054a307d,
    0x4017451fb194d900, 0xc006b108f20c8517,
    0x402c73bc21539bba, 0xbfde1a7f5fc975a3,
    0xc02d5835f134f180, 0x3ff95b139bc3a6ff,
    0x401723c3b88fd76b, 0x400c00e1f4768946,
    0x40193056052e2666, 0xc01cec88557daffc,
    0x402252085323465b, 0x4009b261b7799822,
    0x40105d1ce2b822ce, 0x402144f1eef5fd20,
    0xc00ffad5ea7246c4, 0x3ff6fea7827eaff9,
    0xc01fb9531af8b2c7, 0x3ffc4957cabc2ee9,
    0x4026617bd6600df1, 0x40152b309596a9f8,
    0xbfe2b1bcafb75402, 0x401958a3d81ecf18,
    0x40148b64f4c2753f, 0xc00bd12e0e3111ae,
    0xc027901aec94aed0, 0xc01cfbdd34a4f146,
    0xc018eb6f38b267a6, 0xc014a6b1417abad7,
    0xc02535d5ce695a2c, 0xc01131dab5d1f3b1,
    0x400c29efdb98e62c, 0xbff44d84bd9d2bf4,
    0xc0018c73cdb73260, 0x3ff03f1b39dd06e8,
    0xc012dcec27cecbe2, 0xbfbe620523774c6d,
    0x4012cd1ac0067421, 0x3fb5854dd3b33c69,
    0xbfff3ca9ae93b26d, 0xbff2440dc1eb1b8c,
    0xbfffc66df2b7cc23, 0x4005fd83bb7c067e,
    0xc00bf73e2875c64f, 0xbfeff4788abc38a7,
    0xbffa2f2b09679cb3, 0xc0086e582df8ecbf,
    0x3fe972fda5165e45, 0x3f9d7973d462dee2,
    0x40039dc6d529957f, 0xbfef2ad7d70c8ca5,
    0xc00934c3135410da, 0xbff630fa71330fce,
    0x3fe2d76b37576681, 0xc0052120f3406629,
    0xbff61979409b8e5d, 0x3ff4790c620b8b8d,
    0x400b438fee69e2bc, 0x3fffc5c054e17b4a,
    0x3ffe63dcb28f26b6, 0x3ffd67f5a33dee36,
    0x400d737927c28048, 0x3ff9344da9ee5a60,
    0xc0213288e991b5d1, 0x40115266936e301c,
    0x4013980a1401e257, 0xc0012c3a528fc575,
    0x402a85106dbdae8f, 0x3fe38562be70bac6,
    0xc02a014dbd21a792, 0x3ff6613e0dd2bf12,
    0x4014e199b5437aa2, 0x4007ba5fb934b66d,
    0x401588b6a2fa4002, 0xc01dfd8fe40972b6,
    0x40229f4da424e383, 0x3ffef693178f1c6c,
    0x400e9fa4c880bf0b, 0x401f23f30639abce,
    0xc003ae7b2e53af75, 0x3ff780359c98ae2e,
    0xc01c1a6083636ca2, 0x4001d5cfad407aa4,
    0x40241f3ac5db40c2, 0x40126eeaefb51e81,
    0xbff0548eea1bbcdf, 0x40179cc3565cb0d6,
    0x4014fce3fc982bbf, 0xc0116706d5fc49df,
    0xc02510ef930da7f5, 0xc019f6cd02633bc5,
    0xc01473088039375f, 0xc014260fc5aeb90b,
    0xc025e9117ead8008, 0xc00da8d9c90ba077,
    0x401a8f7843d62f9e, 0xc009c7af5060f54f,
    0xc008dfa2a8d64a2c, 0x3ff63925741f8ac0,
    0xc02113a67738b1d1, 0xbfd112429fd2cd51,
    0x4022799cb94bd456, 0xbff008df79f627a0,
    0xc006c58bb80c9ea4, 0xc000b8d509365fbf,
    0xc00e656a0fff8f11, 0x4016b3cefd82a47a,
    0xc019aabb53924329, 0xbff4b3ba7ffe3f9e,
    0xc005e13a3ef3a9e5, 0xc014a4570af42325,
    0x3ff551d2937d16e9, 0xbfe3ac1d7f324503,
    0x4011aab362f4bf28, 0xc0030633d49ca9ac,
    0xc01b3d3cd61e5faa, 0xc001ffbdb13fdbe9,
    0x3fd32bb565531d5b, 0xc00ce4a6dd5231e9,
    0xc006077fdcb5a27f, 0x3ffa520af9051740,
    0x401abf65b1e18bfd, 0x400e3ab3d2b9dead,
    0x400d4d35dc6c8a6d, 0x400c2e3fe1c2462d,
    0x401b5740e8251fff, 0x400221f80b53514e,
    0x4002d7f76c064189, 0xc001d33e63168144,
    0xc002941e8b9a25ec, 0x3ff4d1b7aece0e2a,
    0xc017719dc935eb2d, 0xbfaba9f5f9896532,
    0x40136d50cac1ac49, 0xbfed559678b99517,
    0xc006ee8d979a7bfb, 0xbffad9d1b0d9425c,
    0xc00078b238a01e37, 0x4003880ac31fa435,
    0xc007bce4f0b871ab, 0xbff99156f6d3632f,
    0xbff4020f2c96808d, 0xc0091f8376946b7f,
    0x4002e63b59363100, 0xbff0e39b69218406,
    0x4009047bf719771e, 0x3fe9172539f3d00e,
    0xc00e673f70df496f, 0xc008b000b327c022,
    0x3fd67b625f7ba4c9, 0xc00305ac5385f289,
    0xc008ecc98af63a0f, 0x40054b6aca7fdf94,
    0x401396baeaa59f5d, 0x40095d1e1f3035d3,
    0x40045092f0a51a28, 0x400009be562045b1,
    0x4010400cd023857e, 0x4000063dfabd1c62,
    0x400c26aa1f00b931, 0xbffe8cb1dada6240,
    0xc00238636286ba10, 0x3fed4855c1571ef5,
    0xc0178102637052b5, 0xbfd84c4b84e5daca,
    0x40171f6cda44bd5a, 0xbfe7adacd35c4643,
    0xc00565262f5b8b35, 0xbfed024848704299,
    0xc00214bfdc6d01b1, 0x4008b1f0177d77c1,
    0xc00e36ea691b0e59, 0xbfe5057e320c9c0a,
    0xbffa82e23fe742e2, 0xc00b21d3d98110cd,
    0x3ff381be2825c2c1, 0xbfef0b9597afc0de,
    0x400779b0eb0c65f3, 0xbfec0835f87e1703,
    0xc01169d83037c12e, 0xc003ea4ac66a52b5,
    0x3fe6417c8bbeb602, 0xc007d7e4cc4264d6,
    0xc005895173705be4, 0x40031a4937a2cba2,
    0x4012ba2a3f24e622, 0x40080c0325ada544,
    0x400277e066f1812a, 0x40030a9f2b23710c,
    0x4013991b6406e740, 0x400021ce4c918114,
    0x400846ac0f497786, 0xbffce8b445fafe50,
    0xbffba82406017f12, 0x3fe9e02f6b9c5d50,
    0xc013a3a523233797, 0x3fc1f3bc647a76ac,
    0x40136ee9ba9b2132, 0xbfe5302fda08f28d,
    0xbffcfa0be73e2715, 0xbff00df8aa2ec3cd,
    0xc0009c5efa54e840, 0x4003bef785698bb3,
    0xc008f8e4c9ba39df, 0xbff2787a9a5584c6,
    0xbff1d3aa9cd95b53, 0xc0075c16e8858a7d,
    0x3ff5d2e84c4917ce, 0xbfe7ea26f1e6923d,
    0x4006ad3f1cacd9f5, 0xbfe7ce091e753606,
    0xc00d56f677403921, 0xbffb69cdbe38f875,
    0x3fad722abb3c79c9, 0xc0050b9389b626a6,
    0xbffeacbda0358dee, 0x3ff8b34aaa3e11fc,
    0x4010edf8ebe86c41, 0x40048e6528a988b5,
    0x4000a20d595445d8, 0x3ffb2a40a705a8f5,
    0x400eb471b9274762, 0x3ff464018ba3a333,
    0x3fc89ab498b7ad25, 0xbffc9650a6912ade,
    0x3fed90be6083f309, 0x40010ec77553d9c5,
    0xbfec1dbad0f811bf, 0xbffb5acd9ced1492,
    0x3fd7da38b60434f1, 0xbfdf7a6e59e79c8b,
    0xbfe4f427a663635b, 0xbffb829804417858,
    0xbfe06c62e0480d37, 0x3fbe051afbf9b138,
    0xbfdad99f01242ac6, 0x3ffc08924fd1db03,
    0xbfd3e3f52020b96b, 0x3fd60e5304c28c97,
    0xbffb31bed2c51b4c, 0xbfe690508b0bea80,
    0x3ff6aabcd9ee5efd, 0x400454c5aafdabb5,
    0x3ff7863dd5c88182, 0x3ff405b87573e62f,
    0x3ffb893c0123d5d2, 0x3fd3b059e18e809b,
    0xbfdd2eddbda06aae, 0x3fe329b55935a1ed,
    0x3febc2a887c5e99e, 0xbff37ced2bd02fad,
    0x3ff4270209313265, 0xbfebe530b56998d4,
    0xbfe156ccb4cc66bb, 0xbfe1f44708d9e03f,
    0xbfede58d37875bdd, 0x3fde6e3241d07b0f,
    0xbfe53a2a4d527367, 0x3fd8c55b7ed7cde8,
    0x3ff35e9486d96ffd, 0xbfec239e78190303,
    0xbfe7170612b7e3e1, 0x3fd0b3dcbe20174c,
    0xbfcae71df82dab74, 0xbf9453532228bfd8,
    0xbfe27fb0ae8f906e, 0x3fba7965f2a0df87,
    0xbfc8311a7555024d, 0xbfe47e318a040554,
    0x3fee7551bb6f398d, 0xbfceb48e4e627f87,
    0xbfc053d5ec0fe5bd, 0xbfd6d2ac144e8fa7,
    0xbfe46d46ba7407c9, 0x3fe9d6ff2f141d0e,
    0x3ff2358a3f4d2500, 0x3fe62421f39522f5,
    0x3fed87ec859dcf89, 0x3fea1a67a3f798e7,
    0xbfd4ffbf8c27df34, 0xbfd1e1b0ef155ecb,
    0x3fce79e1d068ebd1, 0x3fd86b9995a0307d,
    0xbfdf6ecf06965901, 0x3fef7eefdc22545f,
    0xbfdeeea8a88ddb4e, 0xbfd8f55bf2c11d34,
    0xbfe075af27209c1f, 0xbfe176da0885c7b2,
    0x3fd6028e27ae4108, 0xbffbebdce246eadb,
    0x3fe2627fbef9613c, 0x400797bd3aa268ad,
    0xbfee1c1edabc7b1b, 0xbff4a21e2bc5a0da,
    0x3ff696d72ebb8231, 0xbfefa161ce44f4cb,
    0xbfee0cfbd9beb082, 0xbffdc3d745cd011e,
    0x3fb4f4d9120173db, 0xbfde7961b292fb95,
    0xbfe9ee42d9b5d0c2, 0x3ff8d9aecaa3e0cb,
    0xbfe556978b38b255, 0x3fcd20aefdc7b2ad,
    0xc00218f67a338b0b, 0xbfe3543aa8d5d080,
    0x3ffe25cd83bd6e31, 0x40034c5fb790e229,
    0x3fff62c979a7e408, 0x40002c13edce15ce,
    0x3ff8fb777cc74480, 0x3fe428c30a795b5a,
    0x3fc2bf84d0f420ab, 0xbfdb06b636a3a34f,
    0x3fee356371dbdf58, 0xbff689348f4422a0,
    0x3ff1b60d9992d1f8, 0xbff5c78392bb4522,
    0xbfddabc6b1015b75, 0xbfe6f018c7577e14,
    0xbfe6a7b5a8fe41c0, 0x3fc34e57eec2a34d,
    0x3fde7842ab65783a, 0xbfdd1b648620bd0d,
    0x3f90a77c15667520, 0x3fdc1d9cf6077c60,
    0x3fea8bae410a759a, 0x3fb1fb5c09ba5dcf,
    0x3fce418353834ef5, 0x3fc082beb50a36ac,
    0x3fa02d20b39b639e, 0xbfc7062e9a3004eb,
    0xbfd1b75462fa9919, 0xbf9d6c783fc364bc,
    0xbfce3f073101736f, 0xbfaf64e2aa4f79df,
    0xbfc101f58e64828f, 0x3f90c4039cfe99d6,
    0x3fe57656789c67bd, 0xbfdadef6bed31c67,
    0xbfe96da4903b1508, 0x3fd0327ff0ed2ec3,
    0xbfc8e37f5bc160c2, 0x3fbee0782e88c0c2,
    0xbfd0e629554afdd6, 0x3fd400ebf69e16ad,
    0xbfe9e377b64b4a1b, 0x3f874134f15be184,
    0xbfbe116ee32cdf55, 0xbfe7cfa3f9330995,
    0x3fd8609673ceeeda, 0x3fcbfff466d86062,
    0xbfb2569dbc8b72c1, 0x3fd4d791c4921d35,
    0xbf433ce6f2e668df, 0xbfd8592d4fdc676d,
    0x3fd874e703944ee8, 0xbfae05a105894b96,
    0x3fd337a0e056b1d8, 0xbfe59c3c9b9f7126,
    0xbfc96be97b51ec4e, 0xbfc5433e75bea54a,
    0xbfdcc8391fae85f4, 0xbf8327a8c48205b1,
    0xbfc5ea59107264f8, 0xbfbf992b4b84f91a,
    0x3fd554c1febe8d4e, 0x3fe6e5fa0d9760fc,
    0x3fe349b3ab74ba2f, 0xbf762cc09c11e28a,
    0x3fcc9aab51483562, 0xbfcb9a0c2dea9556,
    0x3fd37eee6dfc713e, 0x3fd85ae099534d78,
    0x3fd6316e6e15b67b, 0x3fec33996d58e9b4,
    0xbfa850b2334a3460, 0xbfb8c49971edaa01,
    0xbfcedcd73ce9dbd5, 0x3fb16dce10383b3c,
    0x3fd8ff29e24434a1, 0xbfb2cc56a32883b9,
    0x3fd28eba8f55d29d, 0xbfec6b4b131ab302,
    0xbfdde4473ceb0923, 0xbfdacd93f6f167bf,
    0xbfabc83de8c955cd, 0xbfcfbaaabc883e74,
    0x3f85c79570641760, 0x3fcb071fd075cf3d,
    0xbfe87a881649a296, 0xbfc6118692782a8b,
    0xbfe0a4c4f5beeb6c, 0xbfce967eaf7a1202,
    0xbf71557ab37489a8, 0xbfba184357712098,
    0x3fbefdf747c66066, 0x3fdcc3c1716df1ec,
    0x3fd9f08751dfa782, 0x3fb15d9ed280ef1c,
    0xbfcda7470b755604, 0x3fde00f382acf259,
    0xbfd3d0c6a83f6549, 0xbf8909c28775e5ae,
    0xbfe232c05767a5d3, 0x3fa221a9a60955af,
    0x3fdca10415fb82dd, 0x3fa4783e2f597538,
    0xbfaaf7f9136614d6, 0xbfd395bd6d1fccf3,
    0xbf892b46452ddab6, 0x3fd525f2c71e3769,
    0x3fc115dbd582fbbc, 0xbfc244f84059deb5,
    0x3fcdf4b470567bf1, 0x3fc01bc73a49f1a8,
    0xbfbc95cb0d4a784b, 0x3fbaae415d743798,
    0x3fc772c535fd64a1, 0x3fc7526f1a921e42,
    0xbfe894a8fc6184dc, 0x3fd9e63f48339227,
    0x3fe0345bf65b9d80, 0xbfe689c22f1a4b8c,
    0x3fc7bef9da98bda7, 0xbfb5bcb7e90f75a0,
    0xbfd27b4441d29113, 0x3fc88c850f887c74,
    0xbfdac35550c92016, 0x3fd225a936b9b417,
    0x3f9e24b954777ac9, 0x3fcb1071c6437eb8,
    0x3ff778331b590515, 0xbfb685d6dbbfc8b0,
    0x3fdfb9f1495008bf, 0xbfe59b4b1399e10f,
    0x3fd48f0d1d6c06fb, 0xbfc39545f70082f2,
    0x3f9b80f916295012, 0xbfecca86c9758063,
    0xbf8c17d793ea49d9, 0xbfe163ef366f4852,
    0x3f93a55901ebddba, 0xbfe1cf05d38772fd,
    0x3fe92ded9cac3ab6, 0xbfe0dea61bb1c9c1,
    0x3fcf15b33954d2e6, 0x3fc09806d0397907,
    0xbfd68521c3da97ad, 0xbfdd840a1c07dc2a,
    0xbfd4d4843f768c29, 0x3fd8b604fbeb5c2c,
    0x3fe6a8bc4d85359c, 0xbfe26cac38b9e0e8,
    0x3ff570f478ca2814, 0x3fc404e098ec6fd9,
    0xc000806a3140491b, 0x3fedd673c73403c5,
    0x3fdef2c8c094b529, 0xbff58368f4094cc3,
    0x3fe2cf498bb9fd25, 0x3fe22562999ee583,
    0x3ff79de241586f20, 0x3fd21a8495b254e4,
    0x3feb209f8d419d5d, 0x3ff8f8c9b4788482,
    0xbffba8fcded20419, 0x3fd73e9479078933,
    0xbfe22d27dc654e5d, 0x3ff949f479e36f0a,
    0x3fd38ca923679aa9, 0xbff5b98824d6c45a,
    0xc00139c5ef23c8bf, 0xbff63de90c6ccbbc,
    0xbff8fde176936540, 0xbfea0b25e939dade,
    0xbfe20cba30e5d60a, 0x3f7a83f79659d79a,
    0x3fa53ddd933a6fe4, 0xbfe542774c723a6f,
    0x3fed1fa9a5c57fbf, 0xbfeea9b6eb795baa,
    0x3fef5fdd4199081f, 0x3fb2fae2a404284f,
    0x3fecf529107ae3dd, 0x3fe73e0b843b1f77,
    0x3fe0616b0b7d3cff, 0x3fb5f51a5e0d622d,
    0xbfe694468712df7f, 0xbfdc87a3270cb209,
    0x3f2f9d0070d458bc, 0x3fe367088d80de20,
    0x3fd0f97a65f2ea3f, 0x3fb72ea119193aeb,
    0x3fe0b4c0631df789, 0x3fc51490f9a8c639,
    0xbfd0a031e3aa6d46, 0xbfde078ff4f81c93,
    0xbfe2a950937459d2, 0xbfd46dd1d32df5b5,
    0xbfdce979cb8a6478, 0x3fc798de9af4c6f8,
    0x3fc7378e0c1f5363, 0x3fdada70eedef5e4,
    0xbfccae6bec92d9e1, 0xbfd0b22d50b731db,
    0x3fb0dc7c443e7f94, 0x3fc5db4acb18dc49,
    0xbfe4489f72b2eab4, 0x3f7e9ddfe0810d00,
    0x3fd6895cbbeaeaa2, 0xbfcc1974319997b8,
    0xbfd886848b5e64d9, 0x3f97ce004c50fb77,
    0x3fc695a71c7f29ee, 0x3fd964db2bcc4cb6,
    0x3fe1bea86c400f3c, 0xbf8491ef77866b60,
    0x3fc3df8f83f38c10, 0xbfc0799872353bff,
    0xbfe889a6a4e7fb69, 0xbfbd3236eee84d04,
    0x3ff78b03b373c515, 0xbfe697893ec078d4,
    0xbfc88d8edd11fb36, 0x3fe97e334f3f8073,
    0xbfe0fa7142a867c8, 0xbfe3d967299bda62,
    0xbfecf69662d80302, 0xbfb24bfbb3739b01,
    0xbfccef2327d4cddc, 0xbff4434c5ef3272a,
    0x3ff1785105f09235, 0x3fa847654acfa3f1,
    0x3fd8988151ec812e, 0xbfe88f50b19d5554,
    0x3fab7dfe441f681a, 0x3ff122b89422929a,
    0x3ff3afaf17f1c9e1, 0x3feaedf9d4cb4c5f,
    0x3fe9903e6d1bdfa7, 0x3fe1f21b3ce32de1,
    0x3fe0e835bd8905eb, 0xbf8d96f4436cdedd,
    0xbfda5ff3c54b83da, 0x3fd96afd8a1c85c8,
    0xbfe2c8205ba55080, 0x3fdf2b11967634e7,
    0xbfd3e5b94d798dae, 0x3fcc6a483af17cc4,
    0xbfdc8ac51368faae, 0xbfe87f60fa7cd174,
    0x3fa00084c8f705cc, 0x3fd8655529bb4d4c,
    0xbfe5b067d542879e, 0xbff116dd421565ee,
    0xbf70741d63c2ea12, 0x3fe3659838fc3e74,
    0xbfe299d2c045e536, 0x3f919c1835c077df,
    0x3fd9e4f43333aff0, 0x3fe8671d7ed3e7c4,
    0x3fe45abf142cce7c, 0x3fdb3caecac26218,
    0xbfd660d1b9ed5cb9, 0xbfdc7e5bd5d9572f,
    0x3fe36cf8ce33a494, 0x3fd06674a2895c89,
    0x3fe9ea4062e8c4c3, 0x3fc56ab667e0c629,
    0xbfe0a9c9c5461b32, 0xbfd613f6454e22da,
    0xbfe512d1bb966454, 0xbfdcc77505b33e2a,
    0xbff4882b308e8bed, 0xbfce6cdf80e3e2f3,
    0x3fc2782e29f67d30, 0x3fd33c904033ee4d,
    0xbfdc2f1d80ff0496, 0x3fd93878ae970e69,
    0xbfda387e9b6f8646, 0x3fe4083bc7d8727c,
    0x3fd51bae218d01c9, 0x3f89921836edd86b,
    0xbfc1e98f4e0cf037, 0x3fe58ae67607b241,
    0xbff2502e969d3781, 0x3fe12215bee4d7c9,
    0x3ffb9463bd25a708, 0xbfc83ef479409985,
    0xbfdfe55e45371f9f, 0x3fe16250772ded9c,
    0x3fc85a70c346d3dd, 0xbfce9227d1e301c6,
    0xbff11333420a1747, 0xbfeccb1973a5fe5b,
    0xbfaac14d238f47d5, 0xbfdb99426b36c950,
    0x3fe47cf15047d409, 0xbfe0c4fee4ca0f50,
    0x3fd8b058429633a6, 0xbff330f0470c6b7b,
    0xbfc78efd1b29ea59, 0x3fde580eaac33abb,
    0x3ff289fff8b943bc, 0x3fe4a2065f383b27,
    0x3ff21a7f30d08593, 0x3ff2a835e6c133dd,
    0x3fd4f8ebf1cfb92d, 0xbfe7748a4221f608,
    0x3fe2095855133036, 0x3fdec47758fa6042,
    0xbfecb2efc09a433b, 0x3fb10445c3323cee,
    0xbfc499a87b4c6f72, 0xbfd039152dbe1f74,
    0xbfcc7b10aadf12b8, 0xbfeba75ec6e456e7,
    0xbfd713c3eb47c9a4, 0x3fd01e1165760962,
    0xbfc26dae7420849e, 0xbfea9df6ed30a65e,
    0x3ff0774e83b66323, 0x3f920fa117f618f3,
    0xbff3564ca3275155, 0x3fccca9f6a513454,
    0x3fa236277ec46f1d, 0x3fe519473d7f0c6c,
    0xbfcc09fa5652fc43, 0x3fe4e8235a7f351b,
    0x3fe0a0920eb6a35b, 0xbfdcec2a15bfdfb6,
    0x3fd2bd6ca44a0a38, 0xbfd8591cb184a746,
    0x3fd9aa12c9614065, 0x3fd1066e52e6166c,
    0xbfdab35fd933c28c, 0xbfda788c58d9b4bd,
    0xbfe163ab4cfe8e1a, 0xbfe53f6470f57dd0,
    0xbfe2dc2d527a7e93, 0x3fd88a4f68647bec,
    0xbfbc211a7b17d818, 0x3fd16f94e5c75c79,
    0xbfc66b30cf9ad28b, 0x3fe2b7f184cf4267,
    0xbfe8320851bd9a74, 0x3fd72764b01a34e6,
    0x3fc3da02396a8606, 0x3fb140c901bc6ad9,
    0x3fd984cddea21e05, 0x3fd8aca3829cea95,
    0xbfe765fcfa56362c, 0x3fe129c0f4f87de7,
    0x3ff75d23da71a3ee, 0x3fd0d98cb01228d9,
    0xbfec0deec9bcd131, 0x3fdb89064a2a9f7d,
    0xbfdb548ab64d8364, 0xbfd5617286cfed49,
    0xbfeb6446e307998f, 0xbfe1adaa8acc95c4,
    0xbfde231895299ab9, 0xbfbc6725969ddce7,
    0x3ff358775bfe036a, 0xbfd8d8f61df0135d,
    0x3fd187d7a3d19022, 0xbfe6c94bc33b7023,
    0xbfd3c7c6a44eb377, 0x3feb5b826468e3bc,
    0x3ff05e10b149b3f2, 0x3fe0b88a12db4fef,
    0x3fe4c0a4960dfbdc, 0x3fefa65003f6ab3c,
    0x3fd9d415041fd1cc, 0xbfeb1096473aa22d,
    0x3fb8348a15bfcd1b, 0x3fce2abf33ba927a,
    0xbfe107bd6c00ea9d, 0x3fc878770256ee10,
    0x3f6bf926fd7db9c8, 0xbfd5eb7a7a3fa751,
    0xbfdcd8c266de03c7, 0xbfdeeca2bd51e275,
    0x3fa7ce582fb79243, 0x3fecfa588ce89e71,
    0xbfd4f5f3a68c432c, 0xbff0ca5ac469dfc4,
    0x3f894429cbf69985, 0x3fecc54fb04681ec,
    0xbfd5a235eb9feeef, 0x3fd31882711079ff,
    0x3fe97c1c309c3694, 0x3fe54b5fb2b4cc06,
    0x3fab8a9a4694676f, 0x3fd97db15c72be83,
    0x3fd35f50465cf1d7, 0xbfece27972176e38,
    0xbfaf001b64d5fddb, 0xbfc0df53a6d85c22,
    0x3fed2ecb36376396, 0x3fdba537ea00d3d8,
    0xbff48ed1e94df616, 0xbff745070ad9a164,
    0xbff66326f345afb4, 0xbfec5e3a533409b0,
    0xbfe684d4cf817876, 0xbf9f42978b0f2ca6,
    0xbfd25d013bdec41e, 0x3fe41c12bfcec56f,
    0xbfe2056319df2bf7, 0x3feea2d9879843a6,
    0xbfd73752185d6dc8, 0x3fe4b165856a8171,
    0x3fb6493bd84d580c, 0x3fe087d241461e76,
    0x3fd20a600df40423, 0xbfd0dfab92530801,
    0x3ff557803195c4a8, 0xbfc8b7589b6316d3,
    0xbffc77bf0a3b07a7, 0xbf95ac3359c7ed3d,
    0x3feadd147f30b06e, 0xbfd2f51e6e835fa4,
    0x3fddbb6ac02b5e36, 0x3feb144f58877e3a,
    0x3fed201357be74a8, 0x3fe8c7fb7caa67bc,
    0xbfb9194091ca3796, 0x3fd0d42fda396479,
    0xbff5a2f02f76d333, 0x3fc05f2ef54a0157,
    0xbfd4950532cbda39, 0x3fe191b8e2597db8,
    0x3fdc3cd71fc93903, 0xbfed8aafba82b335,
    0xbffcd1524309d329, 0xbfe7a275bd1ff10b,
    0xbfef99a43b57c76a, 0xbfefab7e5b5f7be0,
    0xbfd48e2eb9e1bf30, 0x3fef1708d76a968c,
    0xbfd65eb0c38819f4, 0xbfddc14ce42108bc,
    0x3fe0d34f4a9d2818, 0xbfcf14b69941b0fc,
    0x3fb8c71d418534fb, 0x3fdbb4906279979f,
    0x3fed21c17b7a332a, 0x3fe2070f925c7d0e,
    0xbfe6e004f2efd022, 0x3fe7ddbdacd0a565,
    0x3fbadba22fb8da6f, 0xbff15e1fea1e143f,
    0x3fe6674bda85bb94, 0x3fb9bcde8558876b,
    0xbff70df3e20c6086, 0x3fd66e3ff584d299,
    0xbfb22f99601e96c5, 0x3fdd568a31790459,
    0xbf95a0d116eb603b, 0x3fda1a1af0bfadb1,
    0x3fecef7441588921, 0xbfe2519698f50f11,
    0x3fdf8add4c45d823, 0xbfecabb7807d0f71,
    0x3fe87a8fd78e894d, 0xbf9352f13d8f1455,
    0xbfdb3ff6f316baac, 0xbfddd250a0417486,
    0xbf9fb154d7b23f0e, 0xbff3dd343cb76a4c,
    0xbfe07571689d6a6c, 0xbf70ac317c8aed6e,
    0x3fe04e35d0bd8233, 0x3fa6d29db1ca26a7,
    0xbfd8cb7c39cdda10, 0x3fba19b2d0e1a7ed,
    0xbfec12b87286a2fc, 0x3feb3aeafdd42c8b,
    0x3fce7f834944151f, 0x3fd7217fe3c71930,
    0x3fe78e8a11a16a7f, 0x3fd0715355840b69,
    0xbfebcec49e209015, 0x3f934febeb7db169,
    0x3ff7c4fd62b6abe4, 0xbfe3396d241badaf,
    0xbfd5e1e3fc1f4be5, 0x3fe8191272fe12db,
    0xbfb24530341b008f, 0xbfc7d343bc66702b,
    0xbfee2310430be59b, 0xbfddaec6e2ea522c,
    0xbfdce6a3f0283725, 0xbfe1f7d43ca85f43,
    0x3fe99a21ee7cdf77, 0xbfaeec1a8f440fc3,
    0x3fc59294c928c8cf, 0xbff49afb9ce97747,
    0xbfccd43744bdc6dc, 0x3fee178905d23401,
    0x3fe8a20670a76170, 0x3ff47dfaa39a8292,
    0x3fe6b0886b3f2023, 0x3fedcd3a21a62ece,
    0x3fe714de3c79c3ef, 0xbfd1cd6342128326,
    0x3fc41d36428dffcf, 0x3fd3ed074bf7fe4e,
    0xbfed0a8731606045, 0x3fd0d2eb696ab279,
    0xbfda5085ba95a18f, 0xbfce1170a0c0e031,
    0xbfde8a68449f53e8, 0xbfc4dc6ddd086125,
    0xbfe571362a567c12, 0x3fdadd62084bb15c,
    0xbfb2e56373b5c6fa, 0xbfd64c4c01fa391e,
    0x3fdb5418a84b4449, 0x3fe40f58ff702727,
    0xbf96e81115099599, 0x3fe7d9cd4dccf292,
    0x3fc66d7294c9ccb7, 0xbfc0566a715bd593,
    0xbfe777d1bc3d28e6, 0xbfb09b30b5a1b197,
    0x3fe0efdda6e30376, 0xbfc4a7bb32404a4f,
    0xbfc17d36e8cbd172, 0x3fc3c89746f75c68,
    0x3fd26622ea5e7340, 0x3fcbd31b9064b510,
    0xbfe10c2df2f57d62, 0xbff1e473d164a8ab,
    0xbfc77cfdbf393092, 0xbfebcb63c704f771,
    0xbfd15e924cae5a74, 0x3fc5010b6e97eb31,
    0xbfc21a9ceaab8ef6, 0xbfa1488a3e351ca8,
    0x3fc2688af52bc5ce, 0x3fc264562131a01c,
    0xbfdc745e04f6a7dc, 0x3fd8b7b356412295,
    0xbf318ad1c29a5112, 0x3fe49e65b4956826,
    0x3fe08d9390ae9d0e, 0xbfa90d88c91ab668,
    0xbfa6784858b59edd, 0x3fcbaaaf8d4ee178,
    0xbfa37e9bfe64a5e2, 0x3fd8730ca8dd1886,
    0xbfe63fa207103e3c, 0xbfc5fbd29ad50e8a,
    0xbfb7371de0a902a3, 0xbfdbac1c2f84670f,
    0x3fcdfa15f4456196, 0x3fc689006aa73336,
    0x3fac18640a61401c, 0x3fe3db3a957f8a07,
    0x3fe473e37a43ef1e, 0x3fe09a053ead085d,
    0xbfc2dbafad6b3511, 0x3fe27a82bcd4d4c1,
    0xbfe3a6ab8a6da4b3, 0xbf9d94ff084cf2d2,
    0x3fce975b32ea599b, 0xbfcf736f32918f3e,
    0x3fcd7834a0a0cc36, 0x3fcd8a636b70cb92,
    0xbfd3006780200c47, 0xbfd60e016a98561d,
    0x3fc8cbe52eeac93b, 0x3fc545e2a4b64d67,
    0xbfa994a4e790bb11, 0x3fd23ec547f01e0c,
    0xbfd2e3e5a7f85305, 0xbfd256c1b6993c3f,
    0xbfe31ccb7e825cd5, 0xbfc5494cdc26dab5,
    0xbfc6e47bb37d3171, 0x3fd5165cd14425fc,
    0xbfa4d1514ef09809, 0xbfd5daaaf5be6251,
    0x3fe717b0c4f7222d, 0x3fd26faf8d113031,
    0x3f90bf764833d803, 0x3fd0c41cabd692ec,
    0x3fd7f46d596d9220, 0x3fd20ca545bdbbda,
    0xbfd65e82be83cc81, 0xbfc27d5c84c249a7,
    0x3fd61b4de8031f3a, 0xbfd8604cfe4d6ee9,
    0xbfbceab0ee00f886, 0xbfb209009f7b8eeb,
    0x3fd1c977b64faef6, 0x3fbe0608eaa6806a,
    0xbfd78158c8fbcd3d, 0xbfe23effc6fe9479,
    0xbfd10db0200c5d17, 0xbfd2739a3839dc71,
    0xbfe0a9a1d8db5793, 0x3f81ec246c439a9b,
    0x3fc1a9fcbd084572, 0xbfc20d31d555f8da,
    0xbfd5ae5f02d60e96, 0x3fcc57a6a4c8127b,
    0x3facdd25d4c2e83e, 0x3fd395eace442ecf,
    0xbfc90356d267149f, 0x3fc0c4ff78fff56a,
    0x3fcc094b7df4440f, 0x3fd387616a12a75d,
    0xbfd1cba66a91fb9d, 0x3fbbe863491606aa,
    0x3fc980b9367ad7c6, 0xbfc4ba6e3431d67d,
    0xbff262b7a9170961, 0x3fab104c449306e1,
    0xbfc9be06ec90b80b, 0xbfce6eea3a50f30b,
    0xbf8c9c3b3dce4c73, 0x3fd24542ad3d92db,
    0xbfd3edd5213bbc51, 0x3fd6840b511df94c,
    0x3fdf3dd83ff24fde, 0x3fdf2cb34a1fbc94,
    0xbfbc55bc6e82e459, 0x3fc539bc78a4d9ee,
    0xbfe04cf11624fd60, 0x3fd05098dc737842,
    0x3fe22bdd9e418398, 0x3fb4ee43c955d8ab,
    0x3fe10c0f92f44810, 0x3fc0faa3b77c6b95,
    0xbfe1f833c42d387a, 0xbfc84603a9644e4d,
    0x3fdc964782379050, 0x3fda318f5c5027c6,
    0x3fad88356a9d564f, 0x3fe41aaa5e74229e,
    0xbfe04407e1a4e39e, 0xbfd846c9297e5b5b,
    0xbfd2063f1fc9efa6, 0xbfd59ded22436ee4,
    0x3f8b2234c56256c1, 0x3faac50123dfd155,
    0xbfcffb803258f489, 0xbfb7d51cb6907265,
    0x3fcab670c84ec02e, 0x3fd5f55c688f7154,
    0x3fe140aa148a05ae, 0xbfdf6acba8c21bbe,
    0xbfde39cba2359497, 0x3fc9f9ba654f7be4,
    0x3f9cca7836e532ce, 0x3fb0b1c966f767e5,
    0xbfe545cd01760bca, 0xbfc4b09135f7125a,
    0xbfa6d8958f86bbed, 0x3fd7ffa9276a9fda,
    0xbfa79d90d946485d, 0x3fd89eb4c6d0541a,
    0x3fd34f0f917a2e2e, 0xbf8f4a750ccb923b,
    0xbfa40afabdee36d2, 0x3fd5b0b6350774d2,
    0xbfd39dab1ba2e783, 0xbfabaebd8a4e0d6c,
    0x3fc6d35bd1af20dc, 0xbfd83b2f1eaf6873,
    0xbf9535607bada76e, 0x3fa37b1422c170f5,
    0x3fb13f6d0a2388a2, 0xbfe0798c71e2286e,
    0x3fdbb8ddacc0ec7f, 0xbf8b2e66e4077159,
    0x3fd168582fb6f4ed, 0x3fb037e24ba2e0fd,
    0x3fd3c617eedb0966, 0x3fc645af6ee7d57b,
    0xbfe17db00938856f, 0x3fc21648497b9536,
    0xbfd31d96f0754f55, 0xbfcb9d62f3c09162,
    0x3fd72120d0acce82, 0x3fd5ba541fc961df,
    0x3fc9bef887826512, 0x3fd5b58e8ef7d078,
    0xbfa0fa14574c08d2, 0x3ff1124bf20f6784,
    0xbfc8446352080456, 0x3fdf5400de6b5f34,
    0x3fb84dc41d5ab0fc, 0x3ff09a0b5ddf07f1,
    0xbfd5978799e56847, 0xbfcec6b366e24c97,
    0xbfe0eb4b93bb8d88, 0xbff0876219021999,
    0xbfc69465381ab04d, 0xbfba3ed5630220b3,
    0xbfef1d4e00ed00c5, 0xbfca95af07aaba04,
    0x3fd9a99b29a7d8c3, 0x3fba769ee20b3d87,
    0x3fd4ed713f266ded, 0x3fad462f6f5b301c,
    0xbfd398b8f15d8a3e, 0xbfe0fdc3b03e4abd,
    0xbfc7bb0a7959ee42, 0x3fa1e9fc01deba54,
    0x3fbd4934649e445d, 0xbfdeb2199ff6c237,
    0xbfd78a28074e3c7d, 0x3fdfe89d7b3ba420,
    0xbff055bf8a2071eb, 0x3fe15a77612f1097,
    0x3feacc9b9cdef65a, 0xbfd9734c3c4b53a8,
    0x3fd23aa8f78e1d55, 0xbfda69ba7876454f,
    0x3fe293301fecd67b, 0xbfc467fa9113bb7d,
    0xbff2b699ba43fa51, 0xbfb4d49a09a23360,
    0xbfdba8c710882149, 0x3fc06fd5a8cc261b,
    0xbfdc3f876bf5115a, 0x3fb5eb5d4c2a85d7,
    0x3fdb0ac1a9fa714f, 0x3fe7fcc24afb81fe,
    0x3fe2e0c024cbd440, 0x3fd1065d00d01e2d,
    0xbfc1907f33620fdc, 0x3fd2105f1912fae9,
    0x3fcf3d897f1044d2, 0x3fb1450ff64051b4,
    0xbfc289ab52018527, 0xbfcaf200c541eed7,
    0x3fd782792a628435, 0xbfc8e3a8243ce001,
    0x3fe2ee073ef59aba, 0xbfabce77a9213ddf,
    0xbfdf7b97f1633c23, 0x3ff4fe52883c9f01,
    0xbfd979589738fb70, 0xbfe95ed20f84dda6,
    0x3ff8c38b42a3b15a, 0xbfe0a380e7612760,
    0x3fe1719e47dfb453, 0x3ff7eed06db16104,
    0x3fadf50791bca03f, 0xbfd5dade0709cdee,
    0xbfec64ddfc685f5d, 0xbfce92ea820eb1ed,
    0xbfe7778dd2703c2c, 0xc00026ffbfd9acb6,
    0x3fe08ed44436d1c8, 0xbff4a7a9e1c6452f,
    0x3ff1a2df5c212e7f, 0xbff8ca0852d349e6,
    0x3fed67a9023215df, 0x3fe491b779cc6322,
    0x3fe7828a2d77ecad, 0x3fef024129f3aa69,
    0x3ff762d3bacf5768, 0x3fdd8d178b67a48b,
    0x3fe35af77b5e7463, 0x3fc724f4ac4a0d26,
    0xbfe31088b078226e, 0xbfd2d4b842913e8f,
    0xbfe2c75ddd01bb03, 0x3fddf828b8cbad45,
    0xbfe77dc007d5078f, 0xbfbb5831efef0f1c,
    0xbfc853e95a731a9d, 0xbfdc7eed2a9e7e1a,
    0xbfd100419a6a3414, 0x3fe765ce8b4fda77,
    0xbfd36fedceebc49f, 0xbff878c11fe1946d,
    0x3fc0ac41ff6bfed9, 0x3febb93071101fca,
    0xbfefd986f3338e07, 0x3fba6d4504cc006c,
    0x3fd5d1313756f148, 0x3fe4a4be630c9fcb,
    0x3fdc1c77ce6ef5cb, 0x3fe6854ca8f5fba2,
    0x3fc11b9b6d990b19, 0xbff7e51beda5f5c0,
    0xbf948d42ccc36d50, 0xbfd43fa8802ce5fc,
    0x3fe708cde4f6c830, 0xbf85c3466ac5dae0,
    0xbfeb1959515fd4b0, 0xbfe6771e86c703f2,
    0xbfe859347fbceb62, 0xbff55fe46f4967ec,
    0xbfe950a450ef8ea8, 0x3fd9241ca703f601,
    0x3fd3cc543d02ade8, 0x3fdaee2ad2de2ffe,
    0xbfe1bb9b513686e3, 0x3ff07f9bf060fa9e,
    0xbfe65c0b677ca230, 0x3ff43ca1d2d2903c,
    0x3fe0ffbe5b899460, 0x3fd3cc5ab4da2b9f,
    0x3fc8af009a26d833, 0xbfd617917f215f3a,
    0xbfa7d20d2208fdee, 0x3fc3a2f3a7d2cf55,
    0xbfca0242b3182a5b, 0x3fb2b242ee8bd0cc,
    0xbfb4b734856d12c5, 0xbfb4de42ae8c93a6,
    0xbfa39765141da4d2, 0xbfb17b524ef775e7,
    0xbfbe2cda81271ebd, 0x3fb9f53abff011bc,
    0x3fa0e49f737df3ba, 0x3fd8d2dd737f231c,
    0x3fc02dbcea19e86f, 0xbfd2f18af1b85cda,
    0x3fb92095bf86f93a, 0xbfdc8371b6ddc34b,
    0xbfb95812560f4d34, 0x3fd370cdbb8f4cfc,
    0x3fe55aa8ac7c663c, 0xbfb5eb80b4a752d9,
    0xbfc2d26bd56c25b4, 0xbf9e147e79df7c91,
    0x3fcc6f430ecbd016, 0xbfc2be8018c7ad96,
    0xbfb56b3715588f77, 0x3fbd215741ef6ecc,
    0xbfc326f448415d15, 0xbfa848fed22a6979,
    0x3fd10dd0a5c2cac9, 0xbfb3154b292f6747,
    0xbfc207bcdf55b7fa, 0x3fbda3d5c2723c09,
    0xbfd24a29f7644f94, 0x3fed8d36fa23cf3e,
    0x3fcb5dbe552a5ce6, 0xbff065d49ddbcff2,
    0xbfce57e2492d8fe4, 0x3fc667ed1ea9472f,
    0x3fc0121977c0f54a, 0x3fbbd4b16796fe16,
    0x3fe38817319c5a72, 0x3fea4fe98581e7b4,
    0x3fdb7a81c030becd, 0x3fbed58ea3b6601e,
    0x3fc9688af9f2d138, 0xbfe61ea4fb0091ec,
    0x3fa394fcd7351b27, 0x3fc95cd6157f1db6,
    0x3fdd07beb499e672, 0x3fd06efbf3226bac,
    0xbfe919758780fc27, 0xbff28c03d5ab5f55,
    0xbfe5c6701080f855, 0xbfea2d78f06e81f0,
    0xbfe433373954bcb3, 0xbfbc7a8db813eca6,
    0x3fc3d4a3940789da, 0xbfbbb5a9d1f81d3f,
    0xbfcf3fb860feb40b, 0x3fd7d4aed8707a3e,
    0xbfc6a1c54902390a, 0xbfaf0b7c5bb6b490,
    0x3fd69ee6fcd4cd65, 0x3fd8b34d31f723c4,
    0x3fdd588a983ed251, 0x3fee5c996ab329b5,
    0xbfe2f9f1213fb7be, 0xbfd650d760952e30,
    0x3fe782875f18691a, 0xbfe608daea13352e,
    0x3fd02b30221be821, 0x3fd84fa0a9fe5cd8,
    0xbfd3a0b63d1b116a, 0x3f708b85662353bf,
    0xbfc0a1300408bb31, 0x3fdd724bdb53c89c,
    0xbfc9db01b3866c27, 0xbff11d3ca24bb849,
    0xbfa04f9eb6f39d25, 0xbfcfaf41918bf042,
    0x3fd86b62de039c10, 0xbfe1260aca23d7b9,
    0x3faa972ec6e2a109, 0x3fc2f0f49ae15b9a,
    0x3fe7d450154e2bfd, 0x3fc07fd57bf226b9,
    0x3fe655172567d4f6, 0x3faca3af16b11796,
    0x3fc4f9a9ebf0cd5b, 0xbfc1a26ceaae0832,
    0xbfc60056f8ed303a, 0xbfc3f11fecb7979d,
    0x3fbeb0f29cce98fc, 0x3fe18b1853cb10cc,
    0xbfb00fb6228539b5, 0x3fcaf7d3d3b7f7fa,
    0xbfd418c41b233daf, 0xbfe29f6af9db5f03,
    0xbfbe9a7e81eadc8f, 0xbfa593bf97eabbab,
    0x3fd15b89e75426ed, 0x3fdb6462cbfe7cc2,
    0xbfd0df4d62448cac, 0xbfda03c23b5501bb,
    0xbfc479521945b46a, 0x3f9c3d528f05f64e,
    0x3fbffc2443b43322, 0xbfd8f78222630ea2,
    0xbfc8bbfc95dea6ef, 0x3fb7af4a70317347,
    0x3fe8af85f1568b10, 0x3fe0c6a876cb26bb,
    0x3fc814ea4d601bfd, 0xbfdddf3e107a6e4c,
    0x3fd003f0f25d5e2d, 0xbfe2683dd9130d4c,
    0x3fc9c6a2068f1674, 0x3fcbcc4f1b898a84,
    0xbf9ab59ccb128a10, 0xbfdd55fdd74343a6,
    0x3fe7aced8e772521, 0xbfcee82b9b93f418,
    0xbfd127033ab2eeaf, 0x3fbf36d2602613dd,
    0x3fdb0e1872c3f576, 0xbfc707ae50416d13,
    0x3fdabe4851eaaf17, 0xbf9fc1db092a0b24,
    0xbfe867885f0440e5, 0x3fc7d1fb6158bc5d,
    0xbfc51a33319fd118, 0xbfbde07b613a2ecd,
    0x3fe1cd6158309b66, 0xbfdec969d83cb1d9,
    0xbfecc559ba71bd8f, 0x3feb0d7e6262437a,
    0x3ff1306745a1e3f5, 0xbfb5851a466b7d53,
    0x3fc8a102343dc1cf, 0xbfcd9b0c2cb546d5,
    0x3ff0dd6c34496d76, 0xbfd60c9144e4d93b,
    0xbfba00e00e7b2bef, 0xbfdca0c6f0312eab,
    0xbfead9a42d2e25d5, 0xbfcd42ef69dff2ee,
    0x3fc7770fb208e789, 0x3fe5dd21c34524c3,
    0x3ff12d6d7aa01659, 0xbfebeec23bd21f64,
    0xbff566e61899baff, 0xbfe926f731512618,
    0xbfe73d8e243708dc, 0xbfdd57a89ca83f1b,
    0x3fd5530d186f7b54, 0x3fc13afbe264e19a,
    0xbfd83d3366628f66, 0xbfe0f4516fcd3c11,
    0x3fe78f8723b60a7d, 0xbfed9e31093f662c,
    0x3fe9d413d74ca65c, 0x3fd4a9baf043b2fd,
    0x3fdf947807035e0d, 0x3fe6b3ea8cea137e,
    0xbfd93394f1142c37, 0xbfdfe8cba9a94c88,
    0x3f90fbca3705a3ec, 0x3fea667e08deaf0c,
    0xbfc51ea16dd430d3, 0xbfdb32a650c06b0e,
    0x3fb6a300d2a202c1, 0xbfe7cda8a7b0442e,
    0xbfd6d977c690401f, 0xbfc753b660fae258,
    0xbfa403a0ab0437f2, 0xbfc0131a5dd7fd33,
    0x3fb7cda8cb4cd12a, 0x3fe5e3ba939a0229,
    0x3fc47ab39fd21b4b, 0xbfa9c4e39fa98bfd,
    0xbfd8cd1c5a141e82, 0xbfe00471db7a7683,
    0x3fe5ce23aae2306f, 0x3ff11840f117e3ed,
    0x3fe224e2688160b7, 0x3fe6a17c5cb22fcb,
    0x3fe2cd9ba3cbac95, 0xbfcf930db34b052b,
    0xbfa7b4cb578a291e, 0xbfc6b7c44c77c0e0,
    0x3fdb2fc5b0737b3b, 0xbfd7c6e484920a0e,
    0x3fa79bbe866e374e, 0xbfda7f01ee3cbf20,
    0x3fd4c2c19a5e9d22, 0xbfdaf5ce1f4eb9a2,
    0xbfc2ff493bba1949, 0xbfdaaaaaaaaaaaaa,
    0x3fd0000000000000, 0x3fd5555555555555,
    0x0
    };

